Game refinement theory and its application to score limit games. - Nathan Nossal; Hiroyuki Iida (GEM, 2014)