Superposition decides the first-order logic fragment over ground theories
scientific article; zbMATH DE number 6157646
scientific article