A framework for the flexible integration of a class of decision procedures into theorem provers (1999)

Cached

Download Links

by Predrag Janicic , Alan Bundy , Ian Green
Venue:FEDRA, K., GIS AND ENVIRONMENTAL MODELING
Citations:5 - 2 self