@inproceedings{instance1588,
	 title = {{evelopment of Correct Transformation Schemata for Prolog Programs}},
	 author = {Norbert E. Fuchs},
	 year = {1997},
	 volume = {1463},
	 booktitle = {Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR '97},
	 series = {Lecture Notes in Computer Science},
	 Date-Added = {2026-08-02 22:38:36},
	 Date-Modified = {2026-08-02 22:38:36}
}