(en) L. Stockmeyer et A. Chandra, «Provably Difficult Combinatorial Games», SIAM Journal on Computing, vol.8, no2, , p.151–174 (ISSN0097-5397, DOI10.1137/0208013, lire en ligne, consulté le ).
(en) J. M. Robson, «N by N checkers is Exptime complete», SIAM Journal on Computing, vol.13, no2, , p.252-267 (DOI10.1137/0213018).
(en) L. Stockmeyer et A. Chandra, «Provably Difficult Combinatorial Games», SIAM Journal on Computing, vol.8, no2, , p.151–174 (ISSN0097-5397, DOI10.1137/0208013, lire en ligne, consulté le ).
Michael L. Littman, «Probabilistic Propositional Planning: Representations and Complexity», In Proceedings of the Fourteenth National Conference on Artificial Intelligence, MIT Press, , p.748–754 (lire en ligne, consulté le )
(en) L. Stockmeyer et A. Chandra, «Provably Difficult Combinatorial Games», SIAM Journal on Computing, vol.8, no2, , p.151–174 (ISSN0097-5397, DOI10.1137/0208013, lire en ligne, consulté le ).