Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings - Nishizaki, Shin-ya; Numao, Masayuki; Caro, Jaime; Suarez, Merlin Teodosia (Springer Japan : Imprint: Springer, 2013)