Constraint satisfaction algorithms. - Bernard A. Nadel (Comput. Intell., 1989)

The Complexity of Constraint Satisfaction in Prolog. - Bernard A. Nadel (AAAI, 1990)

Representation Selection for Constraint Satisfaction: A Case Study Using n-Queens. - Bernard A. Nadel (IEEE Expert, 1990)

Automobile transmission design as a constraint satisfaction problem: modelling the kinematic level. - Bernard A. Nadel; Jiang Lin (Artif. Intell. Eng. Des. Anal. Manuf., 1991)

Precision Complexity Analysis: A Case Study using Insertion Sort. - Bernard A. Nadel (Inf. Sci., 1993)

Constraint Satisfaction in Prolog: Complexity and Theory-Based Heuristics. - Bernard A. Nadel (Inf. Sci., 1995)