Rewriting in Order-sorted Equational Logic.

Jean H. Gallier, Toms Isakowitz

Browse the full ICLP paper archive.