Implicit Induction in Conditional Theories (1995)

Cached

Download Links

by Adel Bouhoula , Michaël Rusinowitch
Venue:Journal of Automated Reasoning
Citations:61 - 16 self