selected publications academic article Agent Based Mathematical Reasoning1 1This work was partly supported by EPSRC grant GR/M22031.. Electronic Notes in Theoretical Computer Science. 23:340-351. 1999