TY - BOOK AU - Comyn G ED - International Logic Programming Summer School( 1992 : Zurich ) ED - International Logic Programming Summer School TI - Logic programming in action : proceedings SN - 0-387-55930-2 U1 - 5.115 PY - 1992/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Logic programming ER -