Partial evaluation of pattern matching in CLP domains (0)

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