Hai-Ping Ko. Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle. Artificial Intelligence, 37(1-3):95-122, 1988.
No references recorded for this publication.
No citations of this publication recorded.