H. Kautz, and B. Selman. Proc.\ First International Conf.\ on Principles of Knowledge Representation and Reasoning, page 189--197. Toronto, Canada, (May 1989)
L. Kroc, A. Sabharwal, and B. Selman. Proc. of the 5th Int. Conf. on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-08), page 127--141. (2008)