- J. Log. Program. 27(1):5-43 (1996)
- IEEE Trans. Software Eng. 14(9):1293-1306 (1988)
- IEEE Trans. Knowl. Data Eng. 4(4):344-359 (1992)
- IEEE Trans. Knowl. Data Eng. 9(4):539-558 (1997)
- IEEE Trans. Knowl. Data Eng. 12(5):845-860 (2000)
- Inf. Syst. 14(1):79-87 (1989)
- Inf. Syst. 17(1):17-31 (1992)
- Data Knowl. Eng. (1991)
- JELIA, volume 3229 of Lecture Notes in Computer Science, page 722-725. Springer, (2004)
- Discovery Science, volume 3245 of Lecture Notes in Computer Science, page 380-387. Springer, (2004)
- Inf. Comput. 135(2):69-112 (1997)
- J. Log. Comput. 3(6):621-642 (1993)
- Logic in Databases, volume 1154 of Lecture Notes in Computer Science, page 265-278. Springer, (1996)
- AI*IA, volume 1792 of Lecture Notes in Computer Science, page 107-118. Springer, (1999)
- Ann. Math. Artif. Intell. 25(3-4):311-337 (1999)
- Intelligenza Artificiale 5(1):133-138 (2011)
- IDC, page 313-316. ACM, (2009)
- Annual Simulation Symposium, page 161-166. IEEE Computer Society, (1989)
- ICOD, page 332-357. (1983)
- DEXA, volume 978 of Lecture Notes in Computer Science, page 303-312. Springer, (1995)


author