TY - GEN AU - Lassez, Jean-Louis [ed.] ED - International conference on logic programming TI - Logic programming: proceedings.. T2 - / edited by Ehud Shapiro SN - 0262121255 U1 - 001.6424 PY - 1987/// CY - Cambridge PB - Mit Press KW - Logic programming -- Cong N1 - Contents: v.1 -- v.2 ER -