@inproceedings{Ueda85, title = {Guarded Horn Clauses}, author = {Kazunori Ueda}, year = {1985}, researchr = {https://researchr.org/publication/Ueda85}, cites = {0}, citedby = {0}, pages = {168-179}, booktitle = {Logic Programming 85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, editor = {Eiiti Wada}, volume = {221}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-16479-0}, }