Adrian Groza, Áron Katona. Fact-checking with explanations. In Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie, editors, 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022. pages 150-157, IEEE, 2022. [doi]
Abstract is missing.