%0 Conference Paper %1 conf/plilp/BowersHI97 %A Bowers, Antony Francis %A Hill, Patricia M. %A Ibañez, Francisco %B PLILP %D 1997 %E Glaser, Hugh %E Hartel, Pieter H. %E Kuchen, Herbert %I Springer %K dblp %P 63-77 %T Resolution for Logic Programming with Universal Quantifiers. %U http://dblp.uni-trier.de/db/conf/plilp/plilp97.html#BowersHI97 %V 1292 %@ 3-540-63398-7

@inproceedings{conf/plilp/BowersHI97, added-at = {2016-09-28T00:00:00.000+0200}, author = {Bowers, Antony Francis and Hill, Patricia M. and Ibañez, Francisco}, biburl = {https://www.bibsonomy.org/bibtex/2e1c0233152a7ab37e5687a9769b37030/dblp}, booktitle = {PLILP}, crossref = {conf/plilp/1997}, editor = {Glaser, Hugh and Hartel, Pieter H. and Kuchen, Herbert}, ee = {http://dx.doi.org/10.1007/BFb0033837}, interhash = {52d57b926e2a18cf5e4f1b990b56b26d}, intrahash = {e1c0233152a7ab37e5687a9769b37030}, isbn = {3-540-63398-7}, keywords = {dblp}, pages = {63-77}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-09-29T11:34:35.000+0200}, title = {Resolution for Logic Programming with Universal Quantifiers.}, url = {http://dblp.uni-trier.de/db/conf/plilp/plilp97.html#BowersHI97}, volume = 1292, year = 1997 }