The control layer in Open Mechanized Reasoning Systems: Annotations and tactics. Armando, A., Coglio, A., Giunchiglia, F., & Ranise, S. Journal of Symbolic Computation, 32(4):305-332, 2001.
The control layer in Open Mechanized Reasoning Systems: Annotations and tactics [link]Paper  doi  bibtex   
@ARTICLE{Armando2001305,
author={Armando, A., Coglio, A., Giunchiglia, F., Ranise, S.},
title={The control layer in Open Mechanized Reasoning Systems: Annotations and tactics},
journal={Journal of Symbolic Computation},
year={2001},
volume={32},
number={4},
pages={305-332},
doi={10.1006/jsco.2000.0464},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035193084&partnerID=40&md5=86a8f7435b541fdeba505c965b7e4c31},
document_type={Article},
source={Scopus},
}

Downloads: 0