%0 Thesis
%1 phd/Post94
%A Post, Kjell
%D 1994
%K dblp
%T Analysis and Transformation of Logic Programs.
@phdthesis{phd/Post94,
added-at = {2002-01-03T00:00:00.000+0100},
author = {Post, Kjell},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f29c029167b660f90761b6eb33706756/dblp},
interhash = {fd7c4be271991da02ac9051971faf9b5},
intrahash = {f29c029167b660f90761b6eb33706756},
keywords = {dblp},
school = {University of California at Santa Cruz},
timestamp = {2016-02-02T11:00:12.000+0100},
title = {Analysis and Transformation of Logic Programs.},
year = 1994
}