Vitaly Telerman Dmitry Ushakov Data Types in Subdefinite Models. 305-319 1996 conf/aisc/1996 AISMC db/conf/aisc/aismc1996.html#TelermanU96