TY - BOOK AU - Dyckhoff Roy ED - International Workshop on Extensions of Logic Programming( 4th : 1993 : Scotland ) ED - International Workshop on Extensions of Logic Programming 4th TI - Extensions of logic programming : proceedings SN - 0-387-58025-5 U1 - 5.115 PY - 1994/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Logic programming ER -