On the expressibility of semi-unification problems : decidability and undecidability results / von Florian Pflug. 2014
Inhalt