エルブランの定理の改良として1965年にロビンソンが導出原理(resolution principle)にもとづく導出法(resolution)を提案した。