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