@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},
}

{"_id":"XKyzQvxzHcJLdr86H","bibbaseid":"armando-ranise-rusinowitch-uniformderivationofdecisionproceduresbysuperposition-2001","downloads":0,"creationDate":"2016-08-26T09:24:47.158Z","title":"Uniform derivation of decision procedures by superposition","author_short":["Armando, A.","Ranise, S.","Rusinowitch, M."],"year":2001,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Ranise"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Rusinowitch"],"firstnames":["M."],"suffixes":[]}],"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","bibtex":"@ARTICLE{Armando2001513,\nauthor={Armando, A., Ranise, S., Rusinowitch, M.},\ntitle={Uniform derivation of decision procedures by superposition},\njournal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\nyear={2001},\nvolume={2142},\npages={513-527},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-15544374811&partnerID=40&md5=74fa6bbf35ee8b9d1fc19af0e959fa04},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Ranise, S.","Rusinowitch, M."],"key":"Armando2001513","id":"Armando2001513","bibbaseid":"armando-ranise-rusinowitch-uniformderivationofdecisionproceduresbysuperposition-2001","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-15544374811&partnerID=40&md5=74fa6bbf35ee8b9d1fc19af0e959fa04"},"downloads":0},"search_terms":["uniform","derivation","decision","procedures","superposition","armando","ranise","rusinowitch"],"keywords":["dblp"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}