亚历山大·彼得伦科。（编辑）;安德烈·沃伦科夫（编辑） 系统信息学的观点。2017年6月27日至29日在俄罗斯莫斯科举行的第十一届国际安德烈·埃尔肖夫信息学会议，《2017年防扩散安全倡议》。修订了选定的论文。 （英语） Zbl 1460.68012号 计算机科学课堂讲稿10742.查姆：施普林格（ISBN 978-3-319-74312-7/pbk；978-3-3169-74313-4/电子书）。xi，第432页。（2018）。MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Petrenko}（编辑）和\textit{A.Voronkov}（主编），《系统信息学的观点》。2017年6月27日至29日在俄罗斯莫斯科举行的第十一届国际安德烈·埃尔肖夫信息学会议，PSI 2017。修订了选定的论文。查姆：斯普林格（2018；Zbl 1460.68012） 全文： DOI程序
曼努埃尔·马扎拉（编辑）;安德烈·沃伦科夫（编辑） 系统信息学的观点。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。 （英语） Zbl 1347.68011号 计算机科学课堂讲稿9609.查姆：施普林格（ISBN 978-3-319-41578-9/pbk；978-3-3169-41579-6/电子书）。x、 第341页。(2016).MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{M.Mazzara}（编辑）和textit{A.Voronkov}（主编），《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆：斯普林格（2016；Zbl 1347.68011） 全文： DOI程序
马丁·戴维斯（编辑）;安斯加·芬克（编辑）;安娜贝拉·麦克维尔（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。 （英语） Zbl 1326.68013号 计算机科学课堂讲稿9450.柏林：施普林格出版社（ISBN 978-3-662-48898-0/pbk；978-3-682-48899-7/电子书）。xv，640页。（2015年）。MSC公司：68-06 03-06 03B70号 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{M.Davis}（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：施普林格出版社（2015；Zbl 1326.68013） 全文： DOI程序
安德烈·沃伦科夫（编辑）;伊琳娜Virbitskaite（编辑） 系统信息学的观点。2014年6月24日至27日，俄罗斯圣彼得堡，第九届国际Ershov信息学会议，PSI 2014。修订了选定的论文。 （英语） Zbl 1318.68039号 计算机科学课堂讲稿8974.柏林：施普林格出版社（ISBN 978-3-662-46822-7/pbk；978-3-562-46823-4/电子书）。xiii，第415页。（2015年）。MSC公司：68-06 68新元 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{A.Voronkov}（编辑）和\textit{I.Virbitskaite}（主编），《系统信息学的观点》。2014年6月24日至27日，俄罗斯圣彼得堡，第九届国际Ershov信息学会议，PSI 2014。修订了选定的论文。柏林：施普林格出版社（2015；Zbl 1318.68039） 全文： DOI程序
肯·麦克米兰（编辑）;阿尔特·米德尔多普（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。 （英语） Zbl 1277.68016号 计算机科学课堂讲稿8312.柏林：施普林格出版社（ISBN 978-3-642-45220-8/pbk）。xiv，第794页。(2013).MSC公司：68-06 03-06 03B70号 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{K.McMillan}（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：施普林格出版社（2013；Zbl 1277.68016） 全文： DOI程序
安德烈·沃伦科夫（编辑）;克里斯托夫·韦登巴赫（编辑） 编程逻辑。纪念哈拉尔德·甘辛格的文章。 （英语） Zbl 1259.03008号 计算机科学课堂讲稿7797.柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。viii，第447页。(2013).MSC公司：03-06 03B70号 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Voronkov}（编辑）和\textit{C.Weidenbach}（主编），编程逻辑。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（2013；Zbl 1259.03008） 全文： DOI程序
埃德蒙·克拉克（编辑）;伊琳娜Virbitskaite（编辑）;安德烈·沃伦科夫（编辑） 系统信息学的观点。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修订了选定的论文。 （英语） Zbl 1314.68013号 计算机科学课堂讲稿7162.柏林：施普林格出版社（ISBN 978-3-642-29708-3/pbk）。xiii，第411页。(2012).MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}（编辑）等人，《系统信息学的观点》。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修订了选定的论文。柏林：施普林格出版社（2012；Zbl 1314.68013） 全文： DOI程序
尼古拉·比约纳（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。 （英语） Zbl 1238.68012号 计算机科学课堂讲稿7180.柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。xi，第446页。(2012).MSC公司：68-06 03-06 03B70号 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{N.Björner}（编辑）和\textit{A.Voronkov}（编），《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（2012；Zbl 1238.68012） 全文： DOI程序
埃德蒙·克拉克（Edmund M.Clarke）。（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。 （英语） Zbl 1203.68004号 计算机科学课堂讲稿6355.人工智能讲义。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。x、 第517页。(2010).MSC公司：68-06 03-06 03B70号 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}（编辑）和textit{A.Voronkov}（编），编程逻辑、人工智能和推理。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。柏林：施普林格出版社（2010；Zbl 1203.68004） 全文： DOI程序
Fermüller，Christian G。（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。 （英语） 兹比尔1197.68008 计算机科学课堂讲稿6397.柏林：施普林格出版社（ISBN 978-3-642-16241-1/pbk）。xii，第656页。(2010).MSC公司：68-06 03-06 03B70号 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Fermüller}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。柏林：施普林格出版社（2010；Zbl 1197.68008） 全文： DOI程序
阿米尔·普努利（编辑）;伊琳娜Virbitskaite（编辑）;安德烈·沃伦科夫（编辑） 系统信息学的观点。2009年6月15日至19日，俄罗斯新西伯利亚，第七届安德烈·埃尔肖夫国际纪念大会，PSI 2009。修订论文。 （英语） 兹比尔1181.68013 计算机科学课堂讲稿5947.柏林：施普林格出版社（ISBN 978-3-642-11485-4/pbk）。xi，第425页。(2010).MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}（ed.）等人，《系统信息学的观点》。2009年6月15日至19日，第七届安德烈·埃尔肖夫国际纪念大会，PSI 2009，俄罗斯新西伯利亚。修改后的文件。柏林：施普林格出版社（2010；Zbl 1181.68013） 全文： DOI程序
伊利亚诺·塞维萨托（编辑）;赫尔穆特·维思（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。 （英语） 兹比尔1154.68007 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-540-89438-4/pbk）。xiv，714页。(2008).MSC公司：68-06 03-06 03B70号 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}（编辑）等人，《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林：施普林格出版社（2008；Zbl 1154.68007） 全文： DOI程序
安德烈·沃伦科夫（编辑） 重写技术和应用程序。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。 （英语） Zbl 1142.68011号 计算机科学课堂讲稿5117.柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。xiii，第457页。(2008).MSC公司：68-06 2012年第68季度 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{A.Voronkov}（编辑），重写技术和应用。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（2008；Zbl 1142.68011） 全文： DOI程序
伊琳娜Virbitskaite（编辑）;安德烈·沃伦科夫（编辑） 系统信息学的观点。2006年6月27日至30日，俄罗斯新西伯利亚，第六届安德烈·埃尔肖夫国际纪念大会，PSI 2006。修订论文。 （英语） Zbl 1179.68007号 计算机科学课堂讲稿4378.柏林：施普林格出版社（ISBN 978-3-540-70880-3/pbk）。xiv，496页。(2007).MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{I.Virbitskaite}（编辑）和\textit{A.Voronkov}（主编），《系统信息学的观点》。2006年6月27日至30日，俄罗斯新西伯利亚，第六届安德烈·埃尔肖夫国际纪念大会，PSI 2006。修改后的文件。柏林：施普林格出版社（2007；Zbl 1179.68007） 全文： DOI程序
沃尔克·迪克特（编辑）;米哈伊尔·沃尔科夫。（编辑）;安德烈·沃伦科夫（编辑） 计算机科学——理论与应用。第二届俄罗斯计算机科学国际研讨会，CSR 2007，俄罗斯叶卡捷琳堡，2007年9月3-7日。诉讼程序。 （英语） Zbl 1135.68001号 计算机科学课堂讲稿4649.柏林：施普林格出版社（ISBN 978-3-540-74509-9/pbk）。xiii，第420页。(2007).MSC公司：68-06 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}（编辑）等人，《计算机科学——理论与应用》。第二届俄罗斯计算机科学国际研讨会，CSR 2007，俄罗斯叶卡捷琳堡，2007年9月3-7日。诉讼程序。柏林：施普林格出版社（2007；Zbl 1135.68001） 全文： DOI程序
纳鸿·德肖维茨（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。 （英语） Zbl 1136.68004号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。xiii，562页。(2007).MSC公司：68-06 03-06 03B70号 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。2007年10月15日至19日，第14届国际会议，亚美尼亚埃里温LPAR 2007。诉讼程序。柏林：施普林格出版社（2007；Zbl 1136.68004） 全文： DOI程序
米基·赫尔曼（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。2006年11月13日至17日在柬埔寨金边举行的第13届LPAR国际会议。诉讼程序。 （英语） Zbl 1135.68002号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-540-48281-9/pbk）。xiii，588页。(2006).MSC公司：68-06 03-06 03B70号 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermann}（编辑）和\textit{A.Voronkov}（主编），《编程逻辑、人工智能和推理》。2006年11月13日至17日在柬埔寨金边举行的第13届LPAR国际会议。诉讼程序。柏林：施普林格（2006年；Zbl 1135.68002） 全文： DOI程序
杰夫·萨特克利夫（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。 （英语） Zbl 1134.68011号 计算机科学课堂讲稿3835.柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。xiv，744页。(2005).MSC公司：68-06 03-06 03B70号 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit｛G.Sutcliffe｝（编辑）和\textit｛A.Voronkov｝（编辑），编程逻辑、人工智能和推理。2005年12月2-6日在牙买加蒙特哥湾举行的第十二届LPAR国际会议。诉讼程序。柏林：施普林格出版社（2005；Zbl 1134.68011） 全文： DOI程序
弗兰兹·巴德（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。 （英语） Zbl 1070.68001号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。xi，第562页。(2005).MSC公司：68-06 03-06 68T27型 03B70号 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（2005；Zbl 1070.68001） 全文： DOI程序
莫舍·瓦尔迪。（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。第十届国际会议，2003年LPAR，哈萨克斯坦阿拉木图，2003年9月22日至26日。诉讼程序。 （英语） Zbl 1028.00019号 计算机科学课堂讲稿2850.人工智能课堂讲稿。柏林：施普林格出版社（ISBN 3-540-20101-7/pbk）。xiii，437页（2003年）。MSC公司：00时25分 03-06 68-06 03B70号 68T27型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。第十届国际会议，2003年LPAR，哈萨克斯坦阿拉木图，2003年9月22日至26日。诉讼程序。柏林：施普林格出版社（2003；Zbl 1028.00019） 全文： DOI程序 链接
马提亚斯·巴兹（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。2002年10月14日至18日在格鲁吉亚第比利斯举行的2002年LPAR第九届国际会议。诉讼程序。 （英语） Zbl 1007.00026号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：斯普林格。xiii，463页（2002年）。MSC公司：00时25分 03-06 68-06 03B70号 68T27型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。第九届国际会议，2002年LPAR，格鲁吉亚第比利斯，2002年10月14-18日。诉讼程序。柏林：施普林格出版社（2002；Zbl 1007.00026） 全文： DOI程序 链接
安德烈·沃伦科夫（编辑） 自动扣除-CADE-18。第18届国际会议，丹麦哥本哈根，2002年7月27日至30日。诉讼程序。 （英语） Zbl 0993.00050号 计算机科学课堂讲稿2392.人工智能课堂讲稿。柏林：斯普林格。xii，534页（2002年）。MSC公司：00时25分 68-06 03-06 68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Voronkov}（编辑），自动演绎-CADE-18。第18届国际会议，丹麦哥本哈根，2002年7月27日至30日。诉讼程序。柏林：施普林格出版社（2002；Zbl 0993.00050） 全文： DOI程序
罗伯特·纽文胡斯（编辑）;安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。 （英语） Zbl 1046.03001号 计算机科学课堂讲稿2250.人工智能课堂讲稿。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。xv，第738页。(2001).MSC公司：03-06 00时25分 68-06 03B70号 68T27型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Nieuwenhuis}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（2001；Zbl 1046.03001）
米歇尔·帕里戈特（编辑）;安德烈·沃伦科夫（编辑） 编程逻辑和自动推理。2000年11月6日至10日在法国留尼汪岛举行的第七届LPAR 2000国际会议。诉讼程序。 （英语） Zbl 0952.00026号 计算机科学课堂讲稿1955年，《人工智能讲义》。柏林：斯普林格。xiii，487页（2000年）。MSC公司：00时25分 03-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Pariget}（编辑）和\textit{A.Voronkov}（编），编程逻辑和自动推理。2000年11月6日至10日在法国留尼汪岛举行的第七届LPAR 2000国际会议。诉讼程序。柏林：施普林格出版社（2000；Zbl 0952.00026）
哈拉尔德·甘辛格（编辑）;大卫·麦卡利斯特（编辑）;沃伦科夫，A。（编辑） 编程逻辑和自动推理。第六届国际会议，1999年9月6日至10日，格鲁吉亚第比利斯LPAR’99。诉讼程序。 （英语） 兹比尔0921.00037 计算机科学课堂讲稿. 1705. 柏林：斯普林格。xii，397页（1999年）。MSC公司：00时25分 68-06 03-06 PDF格式BibTeX公司 XML格式引用 \textit{H.Ganzinger}（编辑）等人，《编程逻辑和自动推理》。第六届国际会议，1999年9月6日至10日，格鲁吉亚第比利斯LPAR’99。诉讼程序。柏林：施普林格出版社（1999；Zbl 0921.00037）
伯克哈德·弗雷塔格（编辑）;亨德里克·德克尔（编辑）;迈克尔·基弗（编辑）;沃伦科夫，A。（编辑） 逻辑数据库中的事务和更改。逻辑数据库和变化意义国际研讨会，德国施洛斯·达格斯图尔，1996年9月23日至27日，ILPS’97逻辑编程和演绎数据库（Trans）操作和变化会后研讨会，DYNAMICS’97，美国纽约州杰斐逊港，1997年10月17日。 （英语） 兹比尔0903.00079 计算机科学课堂讲稿. 1472. 柏林：斯普林格。x、 第396页（1998年）。MSC公司：00时25分 68-06 第68页，共15页 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{B.Freitag}（ed.）等人，《逻辑数据库中的事务和更改》。逻辑数据库和变化含义国际研讨会，德国施洛斯·达格斯图尔，1996年9月23日至27日，ILPS’97逻辑编程和演绎数据库（Trans）操作和变化会后研讨会，DYNAMICS’97，美国纽约州杰斐逊港，1997年10月17日。柏林：施普林格（1998；Zbl 0903.00079） 全文： DOI程序
安德烈·沃伦科夫（编辑） 逻辑编程和自动推理。第四届国际会议，1993年7月13日至20日，俄罗斯圣彼得堡LPAR’93。诉讼程序。 （英语） Zbl 0875.00121号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：Springer-Verlag。十三、 386 p.DM 72.00/sc（1993年）。MSC公司：00时25分 68-06 第68页第17页 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Voronkov}（编辑），逻辑编程和自动推理。第四届国际会议，1993年7月13日至20日，俄罗斯圣彼得堡LPAR’93。诉讼程序。柏林：Springer-Verlag（1993；Zbl 0875.00121） 全文： DOI程序
沃伦科夫，A。（编辑） 逻辑编程。1990年9月14日至18日在俄罗斯伊尔库茨克举行的第一届俄罗斯会议和1991年9月11日至16日在俄罗斯圣彼得堡举行的第二届会议的论文。 （英语） Zbl 0922.00028号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：斯普林格。xi，514页（1992年）。MSC公司：00时25分 68-06 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{A.Voronkov}（编辑），逻辑编程。1990年9月14日至18日在俄罗斯伊尔库茨克举行的第一届俄罗斯会议和1991年9月11日至16日在俄罗斯圣彼得堡举行的第二届会议的论文。柏林：施普林格出版社（1992；Zbl 0922.00028） 全文： DOI程序
沃伦科夫，A。（编辑） 逻辑编程和自动推理。1992年7月15日至20日，俄罗斯圣彼得堡LPAR’92国际会议。诉讼程序。 （英语） Zbl 0916.00020号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：斯普林格。xiv，509 p.（1992）。MSC公司：00时25分 68-06 03-06 03B35型 第68页第17页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Voronkov}（编辑），逻辑编程和自动推理。1992年7月15日至20日，俄罗斯圣彼得堡LPAR`92国际会议。诉讼程序。柏林：施普林格（1992年；Zbl 0916.00020）