Logic programming by Furukawa, Koichi, International Conference on Logic Programming, Paris fromLogic programming 0 Type: Book
