Satisfiability of co-nested formulas
scientific article; zbMATH DE number 567298