M. Bienvenu, C. Fritz, and S. McIlraith. International Conference on Principles of Knowledge Representation and Reasoning (KR06), page 134-144. Lake District, UK, (June 2006)
A. Murray, and T. Lethbridge. conference of the Centre for Advanced Studies on Collaborative research
(CASCON), page 200--211. Toronto, Canada, IBM Press, (October 2005)