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

Cached

Download Links

by Alessandro Armando , Jason Gallagher , Alan Smaill , Alan Bundy
Citations:6 - 4 self