Softwareentwicklung mit Logik höherer Stufe eine Anwendung von Theoriededuktion auf interaktives Beweisen - Weber, Franz (FZI, 1993)
Zugl.: Karlsruhe, Univ., Diss., 1993