Author: Asian Logic Conference (11th 2009 Singapore)