迈克尔·芬克 在这里和那里的逻辑中，通过反模型实现应答编程的等价性。 （英文） Zbl 1185.68157号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。《计算机科学讲义》5366199-113（2008）。MSC公司：68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Fink}，莱克特。注释计算。科学。5366，99-113（2008；Zbl 1185.68157） 全文： 内政部
托马斯·艾特;迈克尔·芬克;斯特凡·沃尔特兰 答案集编程中等价的语义特征和复杂性。 （英文） 兹比尔1367.68031 ACM事务处理。计算。日志。 8，第3号，第17条，53页（2007年）.MSC公司：68N17号 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，《美国医学杂志》。计算。日志。8，第3号，第17条，53页（2007年；Zbl 1367.68031） 全文： 内政部 arXiv公司
托马斯·艾特;迈克尔·芬克 稳定模型语义下逻辑程序的一致等价。 （英文） Zbl 1204.68052号 Palamidessi，Catuscia（编辑），《逻辑编程》。2003年12月9日至13日在印度孟买举行的第19届国际会议，ICLP 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20642-6/pbk）。勒克特。注释计算。科学。2916, 224-238 (2003).MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{M.Fink}，莱克特。注释计算。科学。2916、224--238（2003年；Zbl 1204.68052） 全文： 内政部