Cohn: " A More Expressive Formulation of Many Sorted Logic (1987)

by A G
Venue:J. Autom. Reasoning