- CoRR (1997)
- TICTTL, volume 6680 of Lecture Notes in Computer Science, page 141-153. Springer, (2011)
- JELIA, volume 1489 of Lecture Notes in Computer Science, page 62-76. Springer, (1998)
- Studia Logica 56(3):323-360 (1996)
- Ann. Math. Artif. Intell. 27(1-4):25-47 (1999)
- JELIA, volume 478 of Lecture Notes in Computer Science, page 301-316. Springer, (1990)
- CSL, volume 533 of Lecture Notes in Computer Science, page 289-299. Springer, (1990)
- CS-R9616. Computer Science, CWI, (1996)
- Notre Dame Journal of Formal Logic 36(1):134-157 (1995)
- KR, page 583-594. (1994)
- JELIA, volume 1919 of Lecture Notes in Computer Science, page 254-268. Springer, (2000)


author