Informatics Report Series
Report (by Number) Index
Report (by Date) Index
Strict General Setting for Building Decision Procedures into Theorem Provers
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Please mail <email@example.com> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh