J Logic Programming 3(3) 1986

(1986)

Journal of Logic Programming