TY - BOOK AU - Hermenegildo Manuel ED - International Symposium on Programming Language Implementation and Logic Programming( 6th : 1994 : Madrid ) ED - International Symposium on Programming Language Implementation and Logic Programming 6th TI - Programming language implementation and logic programming : proceedings SN - 3-540-58402-1 U1 - 5.13 PY - 1994/// CY - Berlin PB - Springer Verlag KW - Logic programming KW - Programming languages ER -