The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics (2000)

by Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
Venue:Journal of Symbolic Computation