%0 Book Section %1 conf/lopstr/PedreschiRS04 %A Pedreschi, Dino %A Ruggieri, Salvatore %A Smaus, Jan-Georg %B Program Development in Computational Logic %D 2004 %E Bruynooghe, Maurice %E Lau, Kung-Kiu %I Springer %K %P 376-431 %T Characterisations of Termination in Logic Programming. %U http://dblp.uni-trier.de/db/conf/lopstr/lncs3049.html#PedreschiRS04 %V 3049 %@ 3-540-22152-2

@incollection{conf/lopstr/PedreschiRS04, added-at = {2023-12-13T02:51:22.000+0100}, author = {Pedreschi, Dino and Ruggieri, Salvatore and Smaus, Jan-Georg}, biburl = {https://www.bibsonomy.org/bibtex/21455de65729f9bf0969eff37f063b4c0/admin}, booktitle = {Program Development in Computational Logic}, crossref = {conf/lopstr/2004lncs}, editor = {Bruynooghe, Maurice and Lau, Kung-Kiu}, ee = {https://doi.org/10.1007/978-3-540-25951-0_12}, interhash = {847b450ffd94bd2385f1932a4b2be116}, intrahash = {1455de65729f9bf0969eff37f063b4c0}, isbn = {3-540-22152-2}, keywords = {}, pages = {376-431}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:51:22.000+0100}, title = {Characterisations of Termination in Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lncs3049.html#PedreschiRS04}, volume = 3049, year = 2004 }