Reasoning about redundant patterns (1997)

by Delia Kesner
Venue:Journal of Functional and Logic Programming