Xuemou Wu Dinghe Guo Liao Ming Zan Tingquan Yongli Li Zhang Yuxiang Pansystems Philosophical Logic: A Servey. 187-196 1992 conf/iwar/1992 IWAR db/conf/iwar/iwar1992.html#XuemouDMTLY92