A rewriting approach to satisfiability procedures. Armando, A., Ranise, S., & Rusinowitch, M. Information and Computation, 183(2):140-164, 2003. Paper doi bibtex @ARTICLE{Armando2003140,
author={Armando, A., Ranise, S., Rusinowitch, M.},
title={A rewriting approach to satisfiability procedures},
journal={Information and Computation},
year={2003},
volume={183},
number={2},
pages={140-164},
doi={10.1016/S0890-5401(03)00020-8},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0038070233&partnerID=40&md5=7f3a3cc95abc4c8a6a22e7713b62e020},
document_type={Article},
source={Scopus},
}
Downloads: 0
{"_id":"AY3FJsCMYH4ooZdsN","bibbaseid":"armando-ranise-rusinowitch-arewritingapproachtosatisfiabilityprocedures-2003","downloads":0,"creationDate":"2016-08-26T09:24:47.536Z","title":"A rewriting approach to satisfiability procedures","author_short":["Armando, A.","Ranise, S.","Rusinowitch, M."],"year":2003,"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":"A rewriting approach to satisfiability procedures","journal":"Information and Computation","year":"2003","volume":"183","number":"2","pages":"140-164","doi":"10.1016/S0890-5401(03)00020-8","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0038070233&partnerID=40&md5=7f3a3cc95abc4c8a6a22e7713b62e020","document_type":"Article","source":"Scopus","bibtex":"@ARTICLE{Armando2003140,\nauthor={Armando, A., Ranise, S., Rusinowitch, M.},\ntitle={A rewriting approach to satisfiability procedures},\njournal={Information and Computation},\nyear={2003},\nvolume={183},\nnumber={2},\npages={140-164},\ndoi={10.1016/S0890-5401(03)00020-8},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0038070233&partnerID=40&md5=7f3a3cc95abc4c8a6a22e7713b62e020},\ndocument_type={Article},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Ranise, S.","Rusinowitch, M."],"key":"Armando2003140","id":"Armando2003140","bibbaseid":"armando-ranise-rusinowitch-arewritingapproachtosatisfiabilityprocedures-2003","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0038070233&partnerID=40&md5=7f3a3cc95abc4c8a6a22e7713b62e020"},"downloads":0},"search_terms":["rewriting","approach","satisfiability","procedures","armando","ranise","rusinowitch"],"keywords":["dblp"],"authorIDs":[],"dataSources":["EQov9rEvkmMf5P4ah"]}