Uniform derivation of decision procedures by superposition. Armando, A., Ranise, S., & Rusinowitch, M. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2142:513-527, 2001.
Uniform derivation of decision procedures by superposition [link]Paper  bibtex   
@ARTICLE{Armando2001513,
author={Armando, A., Ranise, S., Rusinowitch, M.},
title={Uniform derivation of decision procedures by superposition},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2001},
volume={2142},
pages={513-527},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-15544374811&partnerID=40&md5=74fa6bbf35ee8b9d1fc19af0e959fa04},
document_type={Conference Paper},
source={Scopus},
}

Downloads: 0