B. Smyth, J. Freyne, M. Coyle, P. Briggs, and E. Balfe. Proceedings of the 23rd SGAI International Conference on Innovative Techniques, page 367-380. Springer, (2003)Cambridge, UK.
B. Smyth, J. Freyne, M. Coyle, P. Briggs, and E. Balfe. Proceedings of the 23rd SGAI International Conference on Innovative Techniques, page 367-380. Springer, (2003)Cambridge, UK.