Implementation of subset equational programs (1992)

by B Jayaraman
Venue:Journal of Logic Programming