Zuoquan Lin Experiential Logic. 65-74 1992 conf/iwar/1992 IWAR db/conf/iwar/iwar1992.html#Lin92