Theory reasoning in connection calculi : Lecture notes in artificial intelligence - Baumgartner, Peter (Springer: Tokyo, 1998)
Keywords: Aritificial Intelligence : theory reasoning