Design of a Dependency-Directed Compiler for Constraint Propagation. - Roy Feldman (IEA/AIE (Vol. 1), 1988)

Admissible Criteria for Loop Control in Planning. - Roy Feldman; Paul Morris (AAAI, 1990)