Implementation of Subset-Equational Programs (1992)

by B Jayaraman
Venue:Journal of Logic Programming