Ondrej Cepek, James Weigle. A Direct Equivalence-Testing Algorithm for SLRs. In Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022. 2022. [doi]
Abstract is missing.