Ground joinability and connectedness in the superposition calculus
scientific article; zbMATH DE number 7628187
scientific article