Title: A proof checker
First published: 1982