@Article{AB+09,
    Author       = "Armando, A. and Bonacina, M. and Ranise, S. and Schulz, S.",
    Year         = "2009",
    Title        = "{New Results on Rewrite-based Satisfiability Procedures}",
    Journal      = "ACM Transactions on Computational Logic",
    Volume       = "10",
    Number       = "1:4",
    Comment      = "TPTPRef"
}