Partial proof trees, resource sensitive logics and syntactic constraints (1996)

by A K Joshi, S Kulick
Venue:LACL’96 , volume 1328 of LNCS/LNAI