1. Appelrath, H.J. (1987): Das Eureka-Projekt PROTOS. In: Brauer, W., Wahlster, W. (eds.): Wissensbasierte Systeme. Proc. 2. Intl. GI-Kongress. Springer-Verlag, Heidelberg, 1–11.
2. Barachini, F., Adlassnig, K.-P. (1985): Überlegungen zur Konsistenztestproblematik von Wissensbasen am Beispiel des medizinischen Expertensystems CADIAG-1. In Trost, H., Retti, J. (eds.): Österreichische AI-Tagung, Springer-Verlag, Heidelberg, 1–8.
3. Brna, P., Bundy, A., Pain, H., Lynch, L. (1987): Programming Tools for Prolog Environments. In: Hallam, J., Mellish, C. (eds.): Advances in Artificial Intelligence. Proc. 1987 AISB Conference, Edinburgh, 251–264.
4. Clocksin, W.F., Mellish, C.S. (1987): Programming in Prolog (3rd ed.). Springer-Verlag, Heidelberg.
5. Debray, S.K., Warren, D.S. (1986): Detection and Optimization of Functional Computations in Prolog. In: Shapiro, E. (ed.): Third Intl. Conf. on Logic Programming. Springer-Verlag, Heidelberg, 490–504.