TPTP Reference: BR15
@InProceedings{BR15-CADE,
Author = "Backeman, P. and R{\"u}mmer, P.",
Year = "2015",
Title = "{Theorem Proving with Bounded Rigid E-Unification}",
Editor = "Felty, A. and Middeldorp, A.",
BookTitle = "{Proceedings of the 25th International Conference on
Automated Deduction}",
Place = "Berlin, Germany",
Series = "Lecture Notes in Computer Science",
Number = "9195",
Pages = "572-587",
Publisher = "Springer-Verlag",
Comment = ""
}
@InProceedings{BR15,
Author = "Backeman, P. and R{\"u}mmer, P.",
Year = "2015",
Title = "{Efficient Algorithms for Bounded Rigid E-Unification}",
Editor = "de Nivelle, H.",
BookTitle = "{Proceedings of the 24th Conference on Automated Reasoning
with Analytic Tableaux and Related Methods}",
Place = "Wroclaw, Poland",
Series = "Lecture Notes in Computer Science",
Number = "9323",
Pages = "70-85",
Publisher = "Springer-Verlag",
Comment = ""
}