%0 Book %1 books/sp/Plumer90 %A Plümer, Lutz %B Lecture Notes in Computer Science %D 1990 %I Springer %K dblp %T Termination Proofs for Logic Programs %V 446 %@ 3-540-52837-7

@book{books/sp/Plumer90, added-at = {2019-05-14T00:00:00.000+0200}, author = {Plümer, Lutz}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a064e5c93177d35654a787d574415dd9/dblp}, ee = {https://doi.org/10.1007/3-540-52837-7}, interhash = {6778146045ac68d6c28690d1d741a217}, intrahash = {a064e5c93177d35654a787d574415dd9}, isbn = {3-540-52837-7}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:22:40.000+0200}, title = {Termination Proofs for Logic Programs}, volume = 446, year = 1990 }