Strategic principles in the design of Is-abelle (1998)

by L C PAULSON
Venue:In CADE-15 Workshop on Strategies in Automated Deduction