Implementation of Subset-Equational Programs

@article{Jayaraman1992ImplementationOS,
  title={Implementation of Subset-Equational Programs},
  author={Bharat Jayaraman},
  journal={J. Log. Program.},
  year={1992},
  volume={12},
  pages={299-324}
}