%0 Thesis %1 books/daglib/0016506 %A Plümer, Lutz %D 1989 %K dblp %P 1-133 %T Termination proofs for logic programs.

@phdthesis{books/daglib/0016506, added-at = {2011-03-24T00:00:00.000+0100}, author = {Plümer, Lutz}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ad828df085089f972aab7b93c4ee79f5/dblp}, ee = {http://d-nb.info/900006021}, interhash = {522f986753e01c9baa502db6a8fdb17e}, intrahash = {ad828df085089f972aab7b93c4ee79f5}, keywords = {dblp}, pages = {1-133}, school = {Technical University of Dortmund, Germany}, timestamp = {2016-11-19T10:36:31.000+0100}, title = {Termination proofs for logic programs.}, year = 1989 }