@Article{ABRS:TOCL-2009,
  author =       {Alessandro Armando and Maria Paola Bonacina and Silvio
                  Ranise and Stephan Schulz},
  title =        {{New Results on Rewrite-Based Satisfiability
                  Procedures}},
  journal =      {ACM Transactions on Computational Logic},
  year =         {2009},
  volume =       {10},
  number =       {1},
  OPTpages =     {},
  note =         {},
  annote =    {StS}
}