by Alexander Leitsch, Tobias Nipkow
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings<br />Author: Rajeev Goré, Alexander Leitsch, Tobias Nipkow<br /> Published by Spring…