Complete symbolic reachability analysis using back-and-forth narrowing
scientific article; zbMATH DE number 5083524
scientific article