Mechanical geometry theorem proving by Chou, Shang-Ching fromMathematics and its applications (D. Reidel Publishing Comp… 0 Type: Book
A proof theory for general unification by Snyder, Wayne fromProgress in computer science and applied logic 0 Type: Book
