Proc. IEEE 1984 Symp. on Logic Programming, Boston, MA

(1984)