C. Elliott. Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, page 56--67. Montreal, Quebec, Canada, ACM Press, (2000)
F. Wolter, and M. Zakharyaschev. In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning, KR2000, page 3--14. (2000)
F. Binard, and A. Felty. Late breaking paper at Genetic and Evolutionary
Computation Conference (GECCO'2007), page 2415--2422. London, United Kingdom, ACM Press, (7-11 July 2007)