First Order Programming Logic.

Robert Cartwright, John McCarthy

Browse the full POPL paper archive.