Bockmayr, A., Brzoska, C., Deussen, P., & Varsek, I. (1991). KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Informatik - Forschung und Entwicklung, 6, 128-140.