Free Sequentially in Orthogonal Order-Sorted Rewriting Systems with Constructors.

Delia Kesner

Browse the full CADE paper archive.