Classical lambek logic (1995)

by J Hudelmaier, P Schroeder-Heister
Venue:TABLEAUX'95: Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, number 918 in LNCS