达马西奥，C.V。;J.麦地那。;Ojeda-Aciego，M。 不完全信息逻辑程序的终止：应用程序和查询过程。 （英语） Zbl 1122.68025号 J.应用。日志。 5，第3期，435-458（2007）.MSC公司：68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.V.Damásio}等人，J.Appl。日志。5，第3号，435--458（2007；Zbl 1122.68025） 全文： DOI程序
哥伦比亚特区达马西奥。;J.麦地那。;Ojeda-Aciego，M。 分类多伴随逻辑程序：终止结果和应用。 （英语） Zbl 1111.68379号 Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。第九届欧洲会议，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23242-7/pbk）。计算机科学课堂讲稿3229。人工智能课堂讲稿，252-265（2004）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.V.Damásio}等人，Lect。注释计算。科学。3229252--265（2004年；Zbl 1111.68379） 全文： DOI程序