克里斯托夫·范·贝列根;马克·德内克;丹尼·德·施雷耶 论情境演算与事件演算的关系。 (英语) Zbl 0883.68023号 J.日志。程序。 31,编号1-3,3-37(1997).MSC公司:68N17号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Van Belleghem}等人,J.Log。程序。31,编号1--3,3--37(1997;Zbl 0883.68023) 全文: 内政部
迈克尔·盖尔芬德;弗拉基米尔·利夫希茨 用逻辑程序表示动作和变化。 (英语) Zbl 0783.68024号 J.日志。程序。 17,编号2-4,301-321(1993).MSC公司:68N17号 68吨99 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}和\textit{V.Lifschitz},J.Log。程序。17、编号2--4、301-321(1993;Zbl 0783.68024) 全文: 内政部
托马斯·赫里切伊 PROLOG的时间扩展。 (英语) Zbl 0787.68094号 J.日志。程序。 15,编号1-2,113-145(1993).MSC公司:68吨99 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Hrycej},J.Log。程序。15,编号1--2,113--145(1993;Zbl 0787.68094) 全文: 内政部