Eliminating intermediate lists in pH using local transformations (1994)

by Jan-Willem Maessen
Venue:Massachusetts Institute of Technology