Elsevier, Journal of Applied Logic, (16), p. 50-59, 2016
DOI: 10.1016/j.jal.2015.02.003
Export citation
Search in Google Scholar
Full text: Unavailable