- Cambridge University Press, Cambridge, (1981)
- Elsevier, Amsterdam, (1997)
- Kluwer, Dordrecht, (1990)
- Logical Aspects of Computational Linguistics, First International Conference, LACL '96, volume 1328 of Lecture Notes in Computer Science, page 1-20. Springer, (1997)
- Cambridge University Press, Cambridge, (1987)


user