Rule-Generating Abduction for Recursive Prolog

Kouichi Hirata. Rule-Generating Abduction for Recursive Prolog. Informatica (Slovenia), 20(1), 1996.

Possibly Related Publications

The following publications are possibly variants of this publication: