@InProceedings{BiereFazekasFleuryFroleyks-SAT24,
  author =	{Armin Biere and
                 Katalin Fazekas and
		 Mathias Fleury and
		 Nils Froleyks},
  title =	{{Clausal Congruence Closure}},
  booktitle =	{27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)},
  pages =	{6:1--6:25},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  year =	{2024},
  volume =	{305},
  doi =		{10.4230/LIPIcs.SAT.2024.6},
}