Saturnino F. Luz-Filho Using Tableaux to Automate the Lambek and Other Categorial Calculi. 206-225 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#Luz-Filho00