@ARTICLE{MartiOlietEtAl06,
  author =       {Narciso Mart{\'\i}-Oliet and Miguel Palomino and
                  Alberto Verdejo},
  title =        {Strategies and simulations in a semantic framework},
  journal =      {Journal of Algorithms},
  volume =       62,
  number =       {3-4},
  pages =        {95-116},
  year =         2007
}