Proceedings : 1987 Symposium on Logic Programming, August 31-September 4, 1987, Hyatt on Union Square, San Francisco, California
sponsored by the Computer Society of the IEEE
IEEE Computer Society Press , Order from IEEE Computer Society, c1987
Includes bibliographical references and index