Narciso Martí-Oliet Miguel Palomino Alberto Verdejo Strategies and simulations in a semantic framework. 95-116 2007 62 J. Algorithms 3-4 http://dx.doi.org/10.1016/j.jalgor.2007.04.002 db/journals/jal/jal62.html#Marti-OlietPV07