Pushdown module checking
scientific article; zbMATH DE number 5703914
scientific article