Matthew Flatt mflatt@cs.rice.edu Rice University Julian Smart Artificial Intelligence Applications Institute University of Edinburgh EH1 1HN
June 1996