Cooperation of background reasoners in theory reasoning by residue sharing
scientific article; zbMATH DE number 1924931