%0 Thesis %1 Post1994 %A Post, Kjell %D 1994 %K dblp imported puma test %T Analysis and Transformation of Logic Programs.

@phdthesis{Post1994, added-at = {2017-05-18T15:42:02.000+0200}, author = {Post, Kjell}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f29c029167b660f90761b6eb33706756/droessler}, groups = {public}, interhash = {fd7c4be271991da02ac9051971faf9b5}, intrahash = {f29c029167b660f90761b6eb33706756}, keywords = {dblp imported puma test}, school = {University of California at Santa Cruz}, timestamp = {2018-02-28T22:23:56.000+0100}, title = {Analysis and Transformation of Logic Programs.}, username = {droessler}, year = 1994 }