Partial Deduction and Driving are Equivalent (1994)

by Robert Glück, Morten Heine Sørensen