Pereira, A., 		Buriol, L., & 		Ritt, M.
2017 Jul  2.  Solving Moving-Blocks Problems. Proceedings of the Thesis and Dissertation Contest (CTD). [Online] :