Introduction to logic programming, in ‘‘Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics (1990)

by K R Apt