Kouichi Hirata. Rule-Generating Abduction for Recursive Prolog. Informatica (Slovenia), 20(1), 1996.
@article{Hirata96, title = {Rule-Generating Abduction for Recursive Prolog}, author = {Kouichi Hirata}, year = {1996}, tags = {Prolog, rule-based, rules}, researchr = {https://researchr.org/publication/Hirata96}, cites = {0}, citedby = {0}, journal = {Informatica (Slovenia)}, volume = {20}, number = {1}, }