Jean H. Gallier, Tomás Isakowitz. Rewriting in Order-sorted Equational Logic. In ICLP/SLP. pages 280-294, 1988.
@inproceedings{GallierI88,
title = {Rewriting in Order-sorted Equational Logic},
author = {Jean H. Gallier and Tomás Isakowitz},
year = {1988},
tags = {graph-rewriting, logic, rewriting logic, rewriting},
researchr = {https://researchr.org/publication/GallierI88},
cites = {0},
citedby = {0},
pages = {280-294},
booktitle = {ICLP/SLP},
}