TY - BOOK AU - Amble T TI - Logic programming and knowledge engineering T2 - International computer science series U1 - D65,8(B)92E, M7 PY - 1987/// CY - Wokingham PB - Addison-wesley KW - Computer science ER -