Chengjiang Mao Semi-Deterministic Reasoning. 1367 1996 AAAI/IAAI, Vol. 2 db/conf/aaai/aaai96-2.html#Mao96