Dynamic syntaxRuth M. Kempson, Wilfried Meyer-Viol, Dov M. Gabbay · First published 2000Open the Tome
Linguistics, logic and finite treesPatrick Blackburn, Wilfried Meyer-Viol · First published 1993Open the Tome
