An integrated interpreter for explaining Prolog's successes and failures

An interactive source commenter for Prolog programs

SIGDOC '90 Proceedings of the 8th annual international conference on Systems documentation

Semantic vs. structural resemblance of classes

ACM SIGMOD Record

An alternative to constraint logic programming for managing domain arithmetics in Prolog expert systems

SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's

A computational framework for dialectical reasoning

ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law

Explaining Prolog based expert systems using a layered meta-interpreter

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1