BibTeX
@inproceedings{DBLP:conf/lopstr/Brunekreef96,
author = {Jacob Brunekreef},
title = {A Transformation Tool for Pure Prolog Programs},
booktitle = {LOPSTR},
year = {1996},
pages = {130-145},
crossref = {DBLP:conf/lopstr/1996},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lopstr/1996,
editor = {John P. Gallagher},
title = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996,
Proceedings},
booktitle = {LOPSTR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1207},
year = {1997},
isbn = {3-540-62718-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-02-27 by Michael Ley (ley@uni-trier.de)