%0 Conference Paper %1 conf/frocos/ArmandoBRS05 %A Armando, Alessandro %A Bonacina, Maria Paola %A Ranise, Silvio %A Schulz, Stephan %B FroCoS %D 2005 %E Gramlich, Bernhard %I Springer %K dblp %P 65-80 %T On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2005.html#ArmandoBRS05 %V 3717 %@ 3-540-29051-6

@inproceedings{conf/frocos/ArmandoBRS05, added-at = {2019-09-25T00:00:00.000+0200}, author = {Armando, Alessandro and Bonacina, Maria Paola and Ranise, Silvio and Schulz, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2902aee718dd02a8b180b604ad194ed7f/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2005}, editor = {Gramlich, Bernhard}, ee = {https://doi.org/10.1007/11559306_4}, interhash = {1bf095caf6ccac203d666dee69b59dea}, intrahash = {902aee718dd02a8b180b604ad194ed7f}, isbn = {3-540-29051-6}, keywords = {dblp}, pages = {65-80}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:49:35.000+0200}, title = {On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2005.html#ArmandoBRS05}, volume = 3717, year = 2005 }