Li-Yan Yuan Jia-Huai You Discriminant Circumscription. 21-32 1990 conf/fsttcs/1990 FSTTCS db/conf/fsttcs/fsttcs90.html#YuanY90 http://dx.doi.org/10.1007/3-540-53487-3_32