Elsevier, Journal of Applied Logic, 4(10), p. 285-290, 2012
DOI: 10.1016/j.jal.2012.07.004
Export citation
Search in Google Scholar
Full text: Download