An algorithm for partial evaluation with constraints (1987)

by H Fujita