Wolfgang Schönfeld
-
Prolog extensions based on tableau calculus
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2