Foundations of Logic Programming. Symbolic computation — Artificial Intelligence (1987)

by J Lloyd