Department of Computer Science University of York Heslington York YO10 5DD
B. Ziolko, S. Manandhar, R. C. Wilson