- LILOG-Report (1987)
- CoRR (1995)
- CoRR (1995)
- CoRR (1995)
- J. Log. Program. 1(4):319-355 (1984)
- Studia Logica 59(1):179-216 (1997)
- Journal of Logic, Language and Information 5(3/4):297-348 (1996)
- Studies in Linguistics and Philosophy Kluwer, Dordrecht, (1993)
- GI Jahrestagung, volume 154 of LNI, page 687-692. GI, (2009)
- FOIS, volume 150 of Frontiers in Artificial Intelligence and Applications, page 51-62. IOS Press, (2006)
- Kluwer, (1993)
- Logic Journal of the IGPL 3(2-3):473-488 (1995)
- Journal of Semantics (1993)
- Studies in Linguistics and Philosophy Springer-Verlag, New York, (1993)
- Arbeitspapiere des Sonderforschungsbereichs 340, University of Stuttgart, Also available in http://xxx.lanl.gov/abs/cmp-lg/9410003 . (1994)
- Kluwer Academic Publishers, Dordrecht, (1993)
- Kluwer, Dordrecht, (1993)
- Data Knowl. Eng. 55(1):59-83 (2005)
- EACL, page 52-57. (1983)
- EACL, page 9-16. (1995)


author