Author: ICLP 2003 (Conference) (2003 Mumbai, India)