TY - BOOK AU - Dix, J (et-al)(Eds.) TI - LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION :lecture notes in artificial intelligence : Papers SN - 0003540649581 U1 - 006.332 PB - Springer: Tokyo KW - Logic programming : knowlege representation ER -