%0 Conference Paper %1 conf/lopstr/DecorteSLMS97 %A Decorte, Stefaan %A Schreye, Danny De %A Leuschel, Michael %A Martens, Bern %A Sagonas, Konstantinos %B LOPSTR %D 1997 %E Fuchs, Norbert E. %I Springer %K dblp %P 111-127 %T Termination Analysis for Tabled Logic Programming. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr97.html#DecorteSLMS97 %V 1463 %@ 3-540-65074-1

@inproceedings{conf/lopstr/DecorteSLMS97, added-at = {2022-10-02T00:00:00.000+0200}, author = {Decorte, Stefaan and Schreye, Danny De and Leuschel, Michael and Martens, Bern and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/20b74a5f7bbd546347ecd22f48a42e86b/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1997}, editor = {Fuchs, Norbert E.}, ee = {https://www.wikidata.org/entity/Q58968721}, interhash = {71ed0d8f0ac81ed52bd17b83be5abf5c}, intrahash = {0b74a5f7bbd546347ecd22f48a42e86b}, isbn = {3-540-65074-1}, keywords = {dblp}, pages = {111-127}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:34:51.000+0200}, title = {Termination Analysis for Tabled Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr97.html#DecorteSLMS97}, volume = 1463, year = 1997 }