A calculus for finitely satisfiable formulas with identity
scientific article; zbMATH DE number 3412591