Short resolution proofs for a sequence of tricky formulas
scientific article; zbMATH DE number 938627