%0 Journal Article %1 journals/tocl/ArmandoBRS09 %A Armando, Alessandro %A Bonacina, Maria Paola %A Ranise, Silvio %A Schulz, Stephan %D 2009 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 4:1-4:51 %T New results on rewrite-based satisfiability procedures. %U http://dblp.uni-trier.de/db/journals/tocl/tocl10.html#ArmandoBRS09 %V 10

@article{journals/tocl/ArmandoBRS09, added-at = {2023-08-28T00:00:00.000+0200}, author = {Armando, Alessandro and Bonacina, Maria Paola and Ranise, Silvio and Schulz, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/24425c186fccb60cdea9ddf409ab99b3c/dblp}, ee = {https://www.wikidata.org/entity/Q118123555}, interhash = {6495f2375a296df47a61b633c3abd2f7}, intrahash = {4425c186fccb60cdea9ddf409ab99b3c}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {4:1-4:51}, timestamp = {2024-04-08T12:38:25.000+0200}, title = {New results on rewrite-based satisfiability procedures.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl10.html#ArmandoBRS09}, volume = 10, year = 2009 }