Na podstawie artykułu: "Conference on Automated Deduction" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy