哈维尔·拉罗萨;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 半环诱导命题逻辑：定义和基本算法。 （英文） Zbl 1284.03209号 Clarke，Edmund M.（编辑）等人，《编程逻辑、人工智能和推理》。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。计算机科学讲义6355。人工智能课堂讲稿，332-347（2010）。MSC公司：03B70号 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Larrosa}等人，Lect。注释计算。科学。6355332--347（2010年；Zbl 1284.03209） 全文： 内政部
赫拉斯，F。;J·拉罗萨。;奥利维拉斯，A。 Minimaxsat：一种高效的加权Max-SAT解算器。 （英文） Zbl 1183.68578号 J.阿蒂夫。智力。研究（JAIR） 31, 1-32 (2008).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Heras}等人，J.Artif。智力。研究（JAIR）31，1--32（2008；Zbl 1183.68578）