Na podstawie artykułu: "Uogólnianie przez unifikację" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy