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

by A Armando, A Coglio, F Giunchiglia, S Ranise
Venue:Journal of Symbolic Computation