Issues in machine-checking the decidability of implicational ticket entailment
Citation
Dawson, J E & Gore, R 2017, 'Issues in machine-checking the decidability of implicational ticket entailment', 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017, ed. Renate A. Schmidt and Claudia Nalon, Springer International Publishing, Cham, Switzerland, pp. 347-363.