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

Cached

Download Links

by Alessandro Armando , Alessandro Coglio , Fausto Giunchiglia , Silvio Ranise
Citations:3 - 1 self