Na podstawie artykułu: "Problem spełnialności formuł logicznych" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy
