Theorem proving by chain resolution
scientific article; zbMATH DE number 1238720