Alex Quilici Steven Woods Yongjun Zhang New Experiments with a Constraint-Based Approach to Program Plan Matching. 114-123 1997 WCRE http://computer.org/proceedings/wcre/8162/81620114abs.htm db/conf/wcre/wcre1997.html#QuiliciWZ97