Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic.

Koen Claessen, Ann Lilliestrm, Nicholas Smallbone

Browse the full CADE paper archive.