Partial Evaluation of Concurrent Prolog and its Implications (1986)

by S Safra