The control component of open mechanized reasoning systems. Armando, A.; Coglio, A.; and Giunchiglia, F. Electronic Notes in Theoretical Computer Science, 23(3):322-339, 1999.
The control component of open mechanized reasoning systems [link]Paper  doi  bibtex   
@ARTICLE{Armando1999322,
author={Armando, A., Coglio, A., Giunchiglia, F.},
title={The control component of open mechanized reasoning systems},
journal={Electronic Notes in Theoretical Computer Science},
year={1999},
volume={23},
number={3},
pages={322-339},
doi={10.1016/S1571-0661(05)80606-1},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-19144364023&partnerID=40&md5=43fdac8f442ed0300fc70f9e457daa5e},
document_type={Conference Paper},
source={Scopus},
}
Downloads: 0