Sort it out with monotonicity - translating between many-sorted and unsorted first-order logic (2011)

by K Claessen, A Lillieström, N Smallbone
Venue:23rd International Conference on Automated Deduction, CADE-23, volume 6803 of LNCS