伊芙琳娜·拉姆玛（编辑）;Swift，Terrance公司（编辑） 编者按：第29届逻辑程序设计国际会议专题——增编。 （英语） Zbl 1475.00115号 理论实践。日志。程序。 18，第1号，121（2018）.MSC公司：00时25分 68-06 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{E.Lamma}（编辑）和\textit{T.Swift}（主编），理论与实践。日志。程序。18，第1号，121（2018；Zbl 1475.00115） 全文： DOI程序
法布里西奥·里古齐;Swift，Terrance公司 用有限三值模型终止逻辑程序的计算。 （英语） 兹比尔1354.68039 ACM事务处理。计算。日志。 第15号第4条第32条第38页（2014年）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}和\textit{T.Swift}，ACM Trans。计算。日志。15，第4号，第32条，第38页（2014；Zbl 1354.68039） 全文： DOI程序
Swift，Terrance公司 支持知识表示和推理的增量表。 （英语） Zbl 1307.68023号 理论实践。日志。程序。 14，No.4-5，553-567（2014）.MSC公司：第68页第17页 68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.Swift}，理论与实践。日志。程序。14、编号4--5、553--567（2014；Zbl 1307.68023） 全文： DOI程序 arXiv公司
阿娜·索菲亚·戈麦斯;何塞·朱利奥·阿尔弗雷斯;Swift，Terrance公司 混合MKNF知识库查询应答的目标导向实现。 （英语） 兹比尔1286.68427 理论实践。日志。程序。 14，第2期，239-264（2014）.MSC公司：68立方英尺 第68页第17页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Gomes}等人，《理论与实践》。日志。程序。14，第2号，239--264（2014；Zbl 1286.68427） 全文： DOI程序
法布里西奥·里古齐;Swift，Terrance公司 分布语义下概率逻辑规划的良好定义和有效推理。 （英语） Zbl 1267.68084号 理论实践。日志。程序。 13，第2期，279-302（2013）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}和\textit{T.Swift}，理论与实践。日志。程序。13，第2号，279--302（2013；Zbl 1267.68084） 全文： DOI程序 arXiv公司
Swift，Terrance公司;大卫·沃伦。 XSB：用表格逻辑编程扩展Prolog。 （英语） Zbl 1244.68021号 理论实践。日志。程序。 12，编号1-2，157-187（2012）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{T.Swift}和\textit{D.S.Warren}，理论与实践。日志。程序。12，编号1--2，157-187（2012；Zbl 1244.68021） 全文： DOI程序 arXiv公司
法布里西奥·里古齐;Swift，Terrance公司 PITA系统：建立和回答不确定性推理的包容。 （英语） Zbl 1218.68169号 理论实践。日志。程序。 11，No.4-5，433-449（2011）.MSC公司：68层37 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}和\textit{T.Swift}，理论与实践。日志。程序。11，编号4--5，433--449（2011；Zbl 1218.68169） 全文： DOI程序 arXiv公司
鲁伊·马奎斯;Swift，Terrance公司 正常程序的并发和本地评估。 （英语） Zbl 1185.68170号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366206-222（2008）。MSC公司：第68页第17页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Marques}和\textit{T.Swift}，Lect。注释计算。科学。5366、206-222（2008年；Zbl 1185.68170） 全文： DOI程序
崔宝秋;Swift，Terrance公司 首选逻辑语法：定点语义和数据标准化应用。 （英语） Zbl 0995.68024号 工件。智力。 138，编号1-2，117-147（2002）.MSC公司：第68页第17页 68T50型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{B.Cui}和\textit{T.Swift}，Artif。智力。138，编号1--2，117-147（2002；Zbl 0995.68024） 全文： DOI程序
萨戈纳斯，K。;T·斯威夫特。;D.S.沃伦。 固定阶计算的极限。 （英语） Zbl 0974.68111号 西奥。计算。科学。 254，第1-2号，465-499（2001）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Sagonas}等人，Theor。计算。科学。254，第1-2465-499号（2001年；Zbl 0974.68111） 全文： DOI程序
康斯坦蒂诺斯·萨戈纳斯;Swift，Terrance公司;大卫·沃伦。 一种用于固定顺序动态分层程序的抽象机器。 （英语） Zbl 1412.68032号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 328-342 (1996).MSC公司：第68页第17页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Sagonas}等人，Lect。注释计算。科学。1104328--342（1996年；Zbl 1412.68032） 全文： DOI程序