A More Expressive Formulation of Many Sorted Logic.

Anthony G. Cohn A More Expressive Formulation of Many Sorted Logic. 113-200 1987 3 J. Autom. Reasoning 2 db/journals/jar/jar3.html#Cohn87