11401<>6227_0<>nulo<>logic of many-sorted theories<>jsyml<>hao wang<>
