Constraint contextual rewriting. Armando, A. & Ranise, S. In FTP'98: Proceedings of the International Workshop on First order Theorem Proving, of Technical Report E1852-GS-981, pages 65--75, 1998. Technische Universität Wien, Austria. Electronically available from \tt http://www.logic.at/ftp98
Constraint contextual rewriting [pdf]Paper  bibtex   
@inproceedings{ftp98,
  author = {Armando, Alessandro and Ranise, Silvio},
  title = {Constraint contextual rewriting},
  booktitle = {FTP'98: Proceedings of the International Workshop on First order Theorem
        Proving},
  year = {1998},
  pages = {65--75},
  series = {Technical Report E1852-GS-981},
  url = {http://www.ai-lab.it/armando/pub/ftp98.pdf},
  organization = {{Technische} {Universit\"at} {Wien}, {Austria}},
  note = {Electronically available from {\tt http://www.logic.at/ftp98}}
}
Downloads: 0