Automating the Synthesis of Decision Procedures in a Constructive Metatheory (1996)

Cached

Download Links

by Alessandro Armando , Jason Gallagher , Alan Smaill , Alan Bundy
Citations:5 - 3 self