尤利亚·利勒 什么是命题可满足性的答案集编程。 （英语） 兹比尔1423.68483 约束条件 22，第3号，307-337（2017）.MSC公司：68T27型 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lierler}，约束22，No.3，307--337（2017；Zbl 1423.68483） 全文： 内政部
尤利亚·利勒;米罗斯瓦·特鲁什琴斯基 关于抽象模推理系统和求解器。 （英语） Zbl 1357.68230号 Artif公司。智力。 236, 65-89 (2016).MSC公司：68立方英尺 68N17号 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lierler}和\textit{M.Truszczynski}，Artif。智力。23665--89（2016；Zbl 1357.68230） 全文： 内政部 arXiv公司
恩里科Giunchilia;尤利亚·利勒;马可·马拉提亚 基于命题可满足性的答案集编程。 （英语） Zbl 1107.68029号 J.汽车。推理 36，第4期，345-377（2006）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，J.Autom。推理36，No.4，345--377（2006；Zbl 1107.68029） 全文： 内政部
亚历山德罗·阿曼多;卢卡·孔帕尼亚;尤利亚·利勒 将协议不安全问题自动编译为逻辑编程。 （英语） Zbl 1111.68376号 Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。第九届欧洲会议，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23242-7/pbk）。计算机科学课堂讲稿3229。人工智能课堂讲稿，617-627（2004）。MSC公司：68N17号 68第25页 PDF格式BibTeX公司 XML格式引用 \textit｛A.Armando｝等人，Lect。注释计算。科学。3229617--627（2004年；Zbl 1111.68376） 全文： 内政部