TY - BOOK AU - Shapiro, E., Ed TI - Third International conference on logic programming,proceedings,1986 CY - Berlin ER -