Deklarative Semantik von Logikprogrammen über Termalgebra - Erb, Rainer 1945- (1993)
Keywords: Hochschulschrift