
* Fabio Simeoni (fabio.simeoni@cis.strath.ac.uk), University of Strathclyde, 
  Department of Computer & Information Sciences, Glasgow UK