Mark Tarver

Division of Artificial Intelligence , Centre for Theoretical Computer Science , University of Leeds , Leeds , LS2 9JT , UK.

1 paper in the IJCAI proceedings