LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION :lecture notes in artificial intelligence : Papers - Dix, J (et-al)(Eds.) (Springer: Tokyo, 1997)
Keywords: Logic programming : knowlege representation