Theory and Practice of Logic Programming, Cambridge University Press, Cambridge,UK

(0)