2026 Conf./WS Elixir meets TPTP: Bringing Automated Reasoning to the BEAM ecosystem Johannes Schuster, David Fuenmayor, and Christoph Benzmüller In Proceedings of the 10th Workshop on Practical Aspects of Automated Reasoning (PAAR 2026), July 25, 2026, Lisbon, Portugal, Jul 2026 forthcoming PDF