C. Y. Silva, “Reasoning with Kio and Gus”, AT, vol. 5, no. 1, Jun. 2014.