%0 Conference Paper %1 conf/ilp/FurukawaO00 %A Furukawa, Koichi %A Ozaki, Tomonobu %B ILP Work-in-progress reports %D 2000 %E Cussens, James %E Frisch, Alan M. %I CEUR-WS.org %K dblp %T On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion. %U http://dblp.uni-trier.de/db/conf/ilp/ilp2000wip.html#FurukawaO00 %V 35

@inproceedings{conf/ilp/FurukawaO00, added-at = {2023-03-10T00:00:00.000+0100}, author = {Furukawa, Koichi and Ozaki, Tomonobu}, biburl = {https://www.bibsonomy.org/bibtex/2e0c0a3b045ffef89f5e9d1ffbe69cd87/dblp}, booktitle = {ILP Work-in-progress reports}, crossref = {conf/ilp/2000wip}, editor = {Cussens, James and Frisch, Alan M.}, ee = {https://ceur-ws.org/Vol-35/FurukawaOzaki.ps}, interhash = {ba5e1e9d496e53b7b4587b197cdeeaaf}, intrahash = {e0c0a3b045ffef89f5e9d1ffbe69cd87}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T21:42:58.000+0200}, title = {On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion.}, url = {http://dblp.uni-trier.de/db/conf/ilp/ilp2000wip.html#FurukawaO00}, volume = 35, year = 2000 }