W.: Foundations of Logic Programming (1984)

by J Lloyd