Rule-generating abduction for recursive Prolog
| Authored By: | K. Hirata |
| Paper Title: | Rule-generating abduction for recursive Prolog |
| Book/Journal Title: | Proc. 5th Int. Workshop on Algorithmic Learning Theory |
| Publisher: | Springer-Verlag |
| Publication Date: | 1994 |
| Pages: | 121-136 |