Silvio Ghilardi, Manfred Schmidt-Schauß, editors, Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. 2016. [doi]
Conference: UNIF2016
No references recorded for this publication.
No citations of this publication recorded.