@inproceedings{publication-3414,
	author={Fuchs, Norbert E. and Fromherz, M. P. J.},
	booktitle={Entwicklung, Test und Wartung deklarativer KI-Programme},
	publisher={Gesellschaft f{\"u}r Mathematik und Datenverarbeitung},
	series={GMD Studien},
	title={Transformational Development of Logic Programs from Executable Specifications - Schema-Based Visual and Textual Composition of Logic Programs},
	year=1994,
}