Integrating model theoretic and proof theoretic interpretation of logic programs - Pletat, Udo (IBM Deutschland, WT LILOG, 1988)
Literaturverz. S. 23 - 25