Partial evaluation of pattern matching in CLP domains (1991)

by D A Smith
Venue:In Hudak and Jones [61