Leroy Chew Address: Leroy Chew Technische Universität Wien Institute of Logic and Computation Favoritenstraße 9–11, E192-01 1040 Wien Austria Email: lchew@ac.tuwien.ac.at Web: http://www.ac.tuwien.ac.at/people/lchew/