乔里·恩格弗里特;简·特雷尔 非单调推理的规范。 （英语） 兹比尔1033.03515 J.应用。非类别。日志。 10，第1期，7-26（2000）.MSC公司：03B60号 03B44型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Appl。非类别。日志。10，第1号，第7--26号（2000；Zbl 1033.03515） 全文： 内政部
乔里·恩格弗里特;简·特雷尔 推理的时间理论。 （英语） Zbl 0849.03018号 J.应用。非类别。日志。 5，第1期，97-119（1995）；修正号2，239-261（1995）。 审核人：J.Sefránek（布拉迪斯拉发） MSC公司：03B60号 68T27型 03B45号 68立方英尺 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Appl。非类别。日志。5、编号1、97--119；更正版本号2，239--261（1995；Zbl 0849.03018） 全文： 内政部