Software Tools for First-Order Logic

Jim Cunningham, Silvana Zappacosta-Amboldi. Software Tools for First-Order Logic. Software: Practice and Experience, 13(11):1019-1025, 1983.

Abstract

Abstract is missing.