Arnold Oberschelp Order Sorted Predicate Logic. 8-17 1989 Sorts and Types in Artificial Intelligence db/conf/lilog/sorts89.html#Oberschelp89 http://dx.doi.org/10.1007/3-540-52336-7_16