Sort Inheritance for Order-Sorted Equational Presentations.

Claus Hintermeier, Claude Kirchner, Hlne Kirchner

Browse the full COMPASS paper archive.