Logic programming by compilation and interpretation of formal derivations - Schmerl, Ulf Roland 1946- (Univ. d. Bundeswehr München, Fak. für Informatik, 1989)