Labelled deductive systems for categorial theorem proving (1992)

by M Moortgat
Venue:In Eighth Amsterdam Colloquium