恩里科·金西格里亚;马可·马拉提亚;卢卡·普利纳 基于翻译的方法解决带有偏好的选言时态问题。 （英语） Zbl 1468.68201号 约束条件 23，第4号，383-402（2018）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，《限制条件》23，第4期，383--402（2018年；Zbl 1468.68201） 全文： 内政部 链接
卢卡·普利纳;阿曼多·塔切拉 学习在关于量化布尔公式的推理中集成演绎和搜索。 （英语） Zbl 1193.68214号 Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，350-365（2009）。MSC公司：68T05年 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{A.Taccella}，莱克特。注释计算。科学。5749350-365（2009年；Zbl 1193.68214） 全文： 内政部
卢卡·普利纳;阿曼多·塔切拉 量化布尔公式的自适应多引擎求解器。 （英语） Zbl 1183.68589号 约束条件 14，第1期，80-116（2009）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{A.Tacchella}，《限制条件》14，第1期，80-116（2009；Zbl 1183.68589） 全文： 内政部