斯蒂芬·斯基里克;何塞·梅塞盖尔 变量可满足性的元级算法。 （英语） Zbl 1430.68423号 J.日志。阿尔盖布。方法计划。 96, 81-110 (2018).MSC公司：68伏15 18立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。96、81-110（2018年；Zbl 1430.68423） 全文： 内政部 链接
斯蒂芬·斯基里克;何塞·梅塞盖尔 变量可满足性的元级算法。 （英语） Zbl 1367.68256号 Lucanu，Dorel（编辑），重写逻辑及其应用。2016年4月2日至3日，第11届WRLA国际研讨会作为ETAPS的卫星活动在荷兰埃因霍温举行。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-44801-5/pbk；978-3-3169-44802-2/电子书）。计算机科学讲义9942，167-184（2016）。MSC公司：第68页第15页 18立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}和\textit{J.Meseguer}，莱克特。注释计算。科学。9942，167--184（2016；Zbl 1367.68256） 全文： 内政部 链接