Wirth, Ruediger (1989): Completing Logic Programs by Inverse Resolution


Title: Completing Logic Programs by Inverse Resolution
Author(s): Wirth, Ruediger
Year: 1989
Booktitle: Proc. Fourth European Working Session on Learning (EWSL)
Editor(s): Morik, Katharina
Pages: 239-250
Publisher: Pitman/Morgan Kaufmann
Address: London/San Mateo, CA

Concepts