Hendra Gunadi

Ph.D Student
Logic and Computation Group
Research School of Information System and Engineering
College of Engineering and Computer Science
The Australian National University

E-mail : Hendra.Gunadi@anu.edu.au