Journal of Logic Programming 12(1/2), 1992

(1992)