The PCS Prover in Theorema (2001)

by B Buchberger
Venue:Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory – Formal Methods and Tools for Computer Science), Lecture Notes in Computer Science 2178