@article{Aminof20131,
    Author = {Aminof, Benjamin and Legay, Axel and Murano, Aniello and Serre, Olivier and Vardi, Moshe Y.},
    File = {Pushdown module checking with imperfect information - Aminof, Legay, Murano, Serre, Vardi (0) (0) - a - a - l.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {Game theory},
    Number = {0},
    Pages = {1 - 17},
    Title = {Pushdown module checking with imperfect information},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001782},
    Volume = {223},
    Year = {2013},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540112001782},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2012.11.005},
    date-added = {2013-10-25 14:43:19 +0000},
    date-modified = {2013-10-25 14:43:19 +0000},
    doi = {10.1016/j.ic.2012.11.005}
}

@article{Aminof20131, Author = {Aminof, Benjamin and Legay, Axel and Murano, Aniello and Serre, Olivier and Vardi, Moshe Y.}, File = {Pushdown module checking with imperfect information - Aminof, Legay, Murano, Serre, Vardi (0) (0) - a - a - l.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {Game theory}, Number = {0}, Pages = {1 - 17}, Title = {Pushdown module checking with imperfect information}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001782}, Volume = {223}, Year = {2013}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540112001782}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2012.11.005}, date-added = {2013-10-25 14:43:19 +0000}, date-modified = {2013-10-25 14:43:19 +0000}, doi = {10.1016/j.ic.2012.11.005} }