Na podstawie artykułu: "Unifikacja (logika)" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy