Jean H. Gallier, Tomás Isakowitz
Rewriting in Order-sorted Equational Logic
ICLP, 1988.
@inproceedings{JICSCP-1988-GallierI88,
author = "Jean H. Gallier and Tomás Isakowitz",
booktitle = "{Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes}",
isbn = "0-262-61056-6",
pages = "280--294",
publisher = "{MIT Press}",
title = "{Rewriting in Order-sorted Equational Logic}",
year = 1988,
}