TPTP Reference: CR+22
@InProceedings{CR+22,
Author = "Cailler, J. and Rosain, J. and Delahaye, D. and
Robillard, S. and Bouziane, H.",
Year = "2022",
Title = "{Go{\'e}land: A Concurrent Tableau-Based Theorem Prover}",
Editor = "Blanchette, J. and Kovacs, L. and Pattinson, D.",
BookTitle = "{Proceedings of the 11th International Joint Conference on
Automated Reasoning}",
Place = "Haifa, Israel",
Series = "Lecture Notes in Artificial Intelligence",
Number = "13385",
Pages = "359-368",
Comment = ""
}