Kyriakos Kalorkoti,
Laboratory for Foundations
of Computer Science,
School of Informatics
University of Edinburgh,
JCMB, King's Buildings,
Mayfield Road,
Edinburgh, EH9
3JZ,
Scotland.
Email:
kk@inf.ed.ac.uk
Phone: +44 131 650 5149
Fax: +44 131 667 7209