Henschen, L.; Overbeek, Ross; Wos, L. "A Theorem-Proving Language for Experimentation" CACM 17(06) June 1974 pp308-314

Languages mentioned

• Argonne proving system {1974}