Issues in Machine-Checking the Decidability of Implicational Ticket Entailment.

Jeremy E. Dawson, Rajeev Gor

Browse the full TABLEAUX paper archive.