Antony F. Bowers, Patricia M. Hill, Francisco Ibañez. Resolution for Logic Programming with Universal Quantifiers. In Hugh Glaser, Pieter H. Hartel, Herbert Kuchen, editors, Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings. Volume 1292 of Lecture Notes in Computer Science, pages 63-77, Springer, 1997.
@inproceedings{BowersHI97, title = {Resolution for Logic Programming with Universal Quantifiers}, author = {Antony F. Bowers and Patricia M. Hill and Francisco Ibañez}, year = {1997}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/BowersHI97}, cites = {0}, citedby = {0}, pages = {63-77}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, volume = {1292}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63398-7}, }