@inproceedings{publication-3402,
	author={Richardson, Julian and Fuchs, Norbert E.},
	booktitle={Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR '97},
	publisher={Springer},
	series={Lecture Notes in Computer Science},
	title={Development of Correct Transformation Schemata for Prolog Programs},
	year=1997,
}