David M. Cerna, Alexander Leitsch, Anela Lolic. On the Unification of Term Schemata. In Temur Kutsia, Andrew M. Marshall, editors, Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. 2020. [doi]
Abstract is missing.