On the Completeness of Residuation

Michael Hanus. On the Completeness of Residuation. In JICSLP. pages 192-206, 1992.

Abstract

Abstract is missing.