Pushdown automata with cancellation and commutation-augmented pregroups grammars.

Nissim Francez, Michael Kaminski

Browse the full LATA paper archive.