Temur Kutsia, Christophe Ringeissen, editors, Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. 2014. [doi]
Conference: UNIF2014
No references recorded for this publication.
No citations of this publication recorded.