多米尼克·迪特里希;埃瓦里斯特·舒尔茨 Crystal:将结构化查询集成到策略语言中。 (英语) Zbl 1185.68618号 J.汽车。推理 44,编号1-2,79-110(2010)。MSC公司:68吨15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietrich}和\textit{E.Schulz},J.Autom。推理44,No.1--2,79-110(2010;Zbl 1185.68618) 全文: 内政部
安德鲁斯,彼得·B·。;乍得·E·布朗。 TPS:用于开发证据的混合自动交互系统。 (英语) Zbl 1107.68091号 J.应用。日志。 4,第4期,367-395(2006)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Andrews}和\textit{C.E.Brown},J.Appl。日志。4,第4号,367--395(2006;Zbl 1107.68091) 全文: 内政部