Labeled Deductive Systems for Categorial Theorem Proving (1991)

by M Moortgat
Venue:Proceedings of the 8th Amsterdam Colloquium, Universiteit