A new subsumption method in the connection graph proof procedure
scientific article; zbMATH DE number 94462
scientific article