@article(AbdullaBd/08/MonotonicAndDownwardClosedGames,
 author       = "Parosh Aziz Abdulla and Ahmed Bouajjani and Julien d'Orso",
 year         = "2008",
 title        = "Monotonic and Downward Closed Games",
 journal      = "J. Log. Comput.",
 volume       = "18",
 number       = "1",
 pages        = "153--169",
 doi          = "10.1093/logcom/exm062",
)
@article(AbdullaCBJ/04/UsingForwardReachabilityAnalysisForVerificationOfLossyChannelSystems,
 author       = "Parosh Aziz Abdulla and Aurore Collomb-Annichini and Ahmed Bouajjani and Bengt Jonsson",
 year         = "2004",
 title        = "Using Forward Reachability Analysis for Verification of Lossy Channel Systems",
 journal      = "FMSD",
 volume       = "25",
 number       = "1",
 pages        = "39--65",
 doi          = "10.1023/B:FORM.0000033962.51898.1a",
)
@article(AbdullaJ/96/UndecidableVerificationProblemsForProgramsWithUnreliableChannels,
 author       = "Parosh Aziz Abdulla and Bengt Jonsson",
 year         = "1996",
 title        = "Undecidable Verification Problems for Programs with Unreliable Channels",
 journal      = "Inf. Comput.",
 volume       = "130",
 number       = "1",
 pages        = "71--90",
 doi          = "10.1006/inco.1996.0083",
)
@incollection(ChatterjeeDHR/06/AlgorithmsForOmegaRegularGamesOfIncompleteInformation,
 author       = "K. Chatterjee and L. Doyen and T. A. Henzinger and J.-F. Raskin",
 year         = "2006",
 title        = "Algorithms for Omega-Regular Games with Imperfect Information",
 booktitle    = "Proc. CSL'06",
 series       = "LNCS",
 volume       = "4207",
 publisher    = "Springer",
 pages        = "287--302",
 doi          = "10.1007/11874683\_19",
)
@incollection(DeWulfDR/06/ALatticeTheoryForSolvingGamesOfImperfectInformation,
 author       = "M. De Wulf and L. Doyen and J.-F. Raskin",
 year         = "2006",
 title        = "A Lattice Theory for Solving Games of Imperfect Information",
 booktitle    = "Proc. HSCC'06",
 series       = "LNCS",
 volume       = "3927",
 publisher    = "Springer",
 pages        = "153--168",
 doi          = "10.1007/11730637\_14",
)
@article(Marcone/01/FineAnalysisOfTheQuasiOrderingsOnThePowerSet,
 author       = "Alberto Marcone",
 year         = "2001",
 title        = "Fine Analysis of the Quasi-Orderings on the Power Set",
 journal      = "Order",
 volume       = "18",
 number       = "4",
 pages        = "339--347",
 doi          = "10.1023/A:1013952225669",
)
@incollection(Milner/85/BasicWqoAndBqoTheory,
 author       = "E. C. Milner",
 year         = "1985",
 title        = "Basic Wqo- and Bqo-Theory",
 booktitle    = "Graphs and order",
 pages        = "487--502",
 doi          = "10.1007/978-94-009-5315-4\_14",
)
@article(Nash-Williams/65/OnWellQuasiOrderingInfiniteTrees,
 author       = "C. {Nash-Williams}",
 year         = "1965",
 title        = "On well-quasi ordering infinite trees",
 journal      = "Proceedings of the Cambridge Philosophical Society",
 volume       = "61",
 pages        = "697--720",
 doi          = "10.1017/S0305004100039062",
)
@article(Reif/84/TheComplexityOfTwoPlayerGamesOfIncompleteInformation,
 author       = "John H. Reif",
 year         = "1984",
 title        = "The Complexity of Two-Player Games of Incomplete Information",
 journal      = "J. Comput. Syst. Sci.",
 volume       = "29",
 number       = "2",
 pages        = "274--301",
 doi          = "10.1016/0022-0000(84)90034-5",
)