@inproceedings{CRDRB22,
  author    = "Cailler, Julie and Rosain, Johann and Delahaye, David and Robillard, Simon and Bouziane, Hinde Lilia",
  title     = "Go{\'e}land: A Concurrent Tableau-Based Theorem Prover (System Description)",
  booktitle = "Automated Reasoning",
  editor    = "Blanchette, Jasmin and Kov{\'a}cs, Laura and Pattinson, Dirk",
  year      = 2022,
  pages     = "359--368",
  publisher = "Springer International Publishing",
  isbn      = "978-3-031-10769-6",
  doi       = "10.1007/978-3-031-10769-6_22"
}