TY - BOOK AU - Debray Saumya Ed. AU - Hermenegildo Manuel Ed. ED - International conference on logic programming (1990 : America) TI - Proceeding on logic programming T2 - Logic programming U1 - D65,8(B)92:(R1), N0 PY - 1990/// CY - Cambridge PB - The Mit Press KW - Logic programming KW - Logic programming ER -