Automated synthesis of tableau calculi (2009)

by R A Schmidt, D Tishkovsky
Venue:In M. Giese and A. Waaler, eds, Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’09