Omori, H. (2015). An axiomatization of Wansing's expansion of Nelson's logic. Reports on Mathematical Logic, 2015, 41-51. doi: https://doi.org/10.4467/20842589RM.15.003.3912