Christian Schulte. Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine. Master's thesis, Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, 1991.