Proving nonreachability by modulo-invariants
scientific article; zbMATH DE number 985234
scientific article