Wolf, A.A.Wolf2022-03-092022-03-091998https://publica.fraunhofer.de/handle/publica/329950en004006Adaptive entailment of equations over rational treesconference paper