Pushdown module checking with imperfect information
scientific article; zbMATH DE number 6171335