A sorted logic using dynamic sorts (1991)

by Christoph Weidenbach
Venue:Max-Planck-Institut fur Informatik, Im Stadtwald