Alex Quilici Steven Woods Yongjun Zhang Program plan matching: experiments with a constraint-based approach. 285-302 2000 36 Sci. Comput. Program. 2-3 db/journals/scp/scp36.html#QuiliciWZ00