On Refinement in Rewriting Logic.

Published in Volume V-VI, 1996-1997, pages 67-84

Authors: Dorel LUCANU, Nicolae SURPATANU

Bibtex

@article{sacscuza:lucanu1996-1997orirl,
  title={On Refinement in Rewriting Logic.},
  author={Dorel LUCANU and Nicolae SURPATANU},
  journal={Scientific Annals of Computer Science},
  volume={5-6},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={1996-1997},
  pages={67--84},
  publisher={``A.I. Cuza'' University Press}
}