Werner Dilger Hans Voß Sorts in Qualitative Reasoning. 190-207 1989 Sorts and Types in Artificial Intelligence db/conf/lilog/sorts89.html#DilgerV89 http://dx.doi.org/10.1007/3-540-52336-7_25