@MasterThesis{Schulte:Master:1992,
Author = "Christian Schulte",
Title = "Entwurf und Implementierung eines übersetzenden
Systems für das intuitionistische logische Programmieren basierend auf
der Warren Abstract Machine",
Type = "Diploma Thesis",
School = "Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe (TH)",
Address = "Karlsruhe, Germany",
Year = 1992,
Month = jul,
Note = "In German",
URL = "https://chschulte.github.io/papers/schulte-master-1992.html"
}