P. Bueno, Thiago, 		D. Mauá, Denis, 		N. de Barros, Leliane, AND 		G. Cozman, Fabio.
"Markov Decision Processes Specified by Probabilistic Logic Programming: Representation and Solution" <em>BRACIS</em> [Online], (14 December 2016)