Martin Nilsson

Uppsala Programming Metbodol~ and Artiftciallntelligence Laboratory Department of Computing Science , Uppsala University P .O. Box 2050 , S-750 02 Uppsala , Sweden

1 paper in the IJCAI proceedings