@会议记录{mantadelis_et_al:LIPIcs.ICLP.2010.124，author={Mantadelis、Theofrastos和Janssens、Gerda}，title={{概率设置专用表格}}，booktitle＝{第26届逻辑编程国际会议的技术交流}，页数={124--133}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-17-0}，ISSN={1868-8969}，年份={2010}，体积={7}，editor={Hermenegildo，Manuel和Schaub，Torsten}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.124},URN={URN:nbn:de:0030-drops-25903}，doi={10.4230/LIPIcs.ICLP.2010.124}，annote={关键词：制表，循环检测，概率逻辑编程，ProbLog}}
