TY - BOOK AU - Lamma E ED - International Workshop on Extensions of Logic Programming( 3rd : 1992 : Bologna ) ED - International Workshop on Extensions of Logic Programming 3rd TI - Extensions of logic programming : proceedings U1 - 5.115 PY - 1993/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Logic programming ER -