Alexander Baumgartner, Daniele Nantes Sobrinho. A, C, and AC Nominal Anti-Unification. In Temur Kutsia, Andrew M. Marshall, editors, Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.