Integrating specialized procedures into proof systems (1996)

by V Sikka