Logic programming：proceedings of the 1991 international symposium

Corporate Authors: Association for Logic Programming; International Logic Programming Symposium (1991 San Diego, Calif.)
Group Author: Saraswat Vijay; Ueda Kazunori
Published: MIT Press,
Publication Dates: 1991.