Weyhrauch, Richard W. (1977). FOL: A proof checker for first-order logic (Stanford Artificial Intelligence Laboratory Memo AIM-235.1). Stanford University, Stanford.
