@STRING{ LNCS = "Lecture Notes in Computer Science"}
@STRING{ LNAI = "Lecture Notes in Artificial Intelligence"}
@STRING{ TCS = "Theoretical Computer Science"}
@STRING{ JACM = "Journal of the ACM"}
@STRING{ TOCL = "ACM Transactions on Computional Logic"}
@STRING{ acm = "ACM Press"}
@STRING{ addison = "Addison-Wesley"}
@STRING{ elsevier = "Elsevier"}
@STRING{ ieee = "IEEE Computer Society Press"}
@STRING{ holland = "North-Holland"}
@STRING{ springer = "Springer-Verlag"}




@article{Jurdzinski98,
    author      = {Marcin Jurdzi\'{n}ski},
    title       = {Deciding the Winner in Parity Games Is in {UP}~{$\cap$}~co-{UP}},
    journal     = {Information Processing Letters},
    volume      = {68},
    year        = {1998},
    pages       = {119--124},
    number      = {3},
    url         = {http://www-cad.eecs.berkeley.edu/~mju/Papers/Jur98-IPL.ps},
}

@inproceedings{Jurdzinski00,
    author      = {Marcin Jurdzi\'{n}ski},
    title       = {Small Progress Measures for Solving Parity Games},
    booktitle   = {Proceedings of the 17th Annual Symposium on 
                   Theoretical Aspects of Computer Science, STACS~2000},
    year        = {2000},
    publisher   = springer,
    pages       = {290--301},
    series      = LNCS,
    volume      = {1770},
    url         = {http://www-cad.eecs.berkeley.edu/~mju/Papers/Jur00-STACS.ps},
}

@inproceedings{Stirling95,
    author      = {Colin Stirling},
    title       = {Local Model Checking Games},
    booktitle   = {Proceedings of the 6th International Conference on 
                   Concurrency Theory, CONCUR~'95},
    year        = {1995},
    publisher   = springer,
    pages       = {1--11},
    series      = LNCS,
    volume      = {962},
    url         = {http://www.dcs.ed.ac.uk/home/cps/con95.ps},
}

@inproceedings{Thomas95,
    author      = {Wolfgang Thomas},
    title       = {On the Synthesis of Strategies in Infinite Games},
    booktitle   = {Proceedings of the 12th Annual Symposium on 
                   Theoretical Aspects of Computer Science, STACS~'95},
    year        = {1995},
    publisher   = springer,
    pages       = {1--13},
    series      = LNCS,
    volume      = {900},
    url         = {http://www-i7.informatik.rwth-aachen.de/download/papers/thomas/thomas95a.ps},
}

@inproceedings{VogeJ00,
    author      = {Jens V{\"o}ge and Marcin Jurdzi{\'n}ski},
    title       = {A Discrete Strategy Improvement Algorithm 
                   for Solving Parity Games},
    booktitle   = {Proceedings of the 12th International Conference on 
                   Computer Aided Verification, CAV~2000},
    year        = {2000},
    publisher   = springer,
    pages       = {202--215},
    series      = LNCS,
    volume      = {1855},
    url         = {http://www-cad.eecs.berkeley.edu/~mju/Papers/VJ00-CAV.ps},
}

@article{Zielonka98,
    author      = {Wieslaw Zielonka},
    title       = {Infinite games on finitely coloured graphs 
                   with applications to automata on infinite trees},
    journal     = TCS,
    volume      = {200},
    year        = {1998},
    pages       = {135--183},
    number      = {1--2}
}