Title: A machine program for theorem-proving
First published: 1961