Charles X. Ling Department of Computer Science The University of Western Ontario London, Ontario, Canada N6A 5B7 E-mail: ling@csd.uwo.ca Extended Abstract