Colouring Terms to Control Equational Reasoning (1997)

Cached

Download Links

by Dieter Hutter
Venue:Journal of Automated Reasoning
Citations:25 - 13 self