%0 Conference Paper %1 conf/epia/Swift99 %A Swift, Terrance %B EPIA %D 1999 %E Barahona, Pedro %E Alferes, José Júlio %I Springer %K dblp %P 163-177 %T A New Formulation of Tabled Resolution with Delay. %U http://dblp.uni-trier.de/db/conf/epia/epia99.html#Swift99 %V 1695 %@ 3-540-66548-X

@inproceedings{conf/epia/Swift99, added-at = {2017-05-24T00:00:00.000+0200}, author = {Swift, Terrance}, biburl = {https://www.bibsonomy.org/bibtex/25a8128dcdb130785ca2c9e84ab0f76f2/dblp}, booktitle = {EPIA}, crossref = {conf/epia/1999}, editor = {Barahona, Pedro and Alferes, José Júlio}, ee = {https://doi.org/10.1007/3-540-48159-1_12}, interhash = {d1ba238b99650c03087cefa353f9c551}, intrahash = {5a8128dcdb130785ca2c9e84ab0f76f2}, isbn = {3-540-66548-X}, keywords = {dblp}, pages = {163-177}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:48:08.000+0200}, title = {A New Formulation of Tabled Resolution with Delay.}, url = {http://dblp.uni-trier.de/db/conf/epia/epia99.html#Swift99}, volume = 1695, year = 1999 }