Unification types in logic - Dzik, Wojciech (Wydawnictvo Uniwersytetu Śląskiego, 2007)