%0 Conference Paper %1 conf/lopstr/LeuschelMS97 %A Leuschel, Michael %A Martens, Bern %A Sagonas, Konstantinos %B LOPSTR %D 1997 %E Fuchs, Norbert E. %I Springer %K dblp %P 189-205 %T Preserving Termination of Tabled Logic Programs While Unfolding. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr97.html#LeuschelMS97 %V 1463 %@ 3-540-65074-1

@inproceedings{conf/lopstr/LeuschelMS97, added-at = {2019-06-02T00:00:00.000+0200}, author = {Leuschel, Michael and Martens, Bern and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/25b8559cbc1191e0c8ca108b738e6922d/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1997}, editor = {Fuchs, Norbert E.}, ee = {https://www.wikidata.org/entity/Q58968706}, interhash = {aed87f098222288a4ffbc307cd448d51}, intrahash = {5b8559cbc1191e0c8ca108b738e6922d}, isbn = {3-540-65074-1}, keywords = {dblp}, pages = {189-205}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:20:12.000+0200}, title = {Preserving Termination of Tabled Logic Programs While Unfolding.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr97.html#LeuschelMS97}, volume = 1463, year = 1997 }