Na podstawie artykułu: "Procedura Davisa-Putnama" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy