Silvio Ghilardi, Manfred Schmidt-Schauß: Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. 2016