Classical Lambek Logic.

Jrg Hudelmaier, Peter Schroeder-Heister

Browse the full TABLEAUX paper archive.