Michael Leuschel Danny De Schreye Constrained Partial Deduction. 0- 1997 WLP db/conf/wlp/wlp97.html#LeuschelS97