来自阿斯塔·哈尔克;帕特里克·布莱克本;约根·维拉德森 形式化混合逻辑的塞利格曼式表格系统（短文）。 （英语） Zbl 07614529号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 474-481 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.H.From}等人，Lect。注释计算。科学。12166474--481（2020；Zbl 07614529） 全文： 内政部
帕特里克·布莱克本（编辑）;托马斯·博兰德（编辑）;托本·布吕纳（编辑）;瓦莱里亚·德·佩瓦（编辑）;约根·维拉德森（编辑） 混合逻辑国际研讨会论文集（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。 （英语） 兹比尔1273.68016 理论计算机科学电子笔记174，第6号。阿姆斯特丹：爱思唯尔。148页。，仅电子版（2007年）。MSC公司：68-06 03-06 03B45号 03B70号 第68页第27页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}（ed.）等人，《混合逻辑国际研讨会论文集》（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔（2007；Zbl 1273.68016） 全文： 链接