@文章{DybjerS06，title={索引归纳-递归}，author={彼得·戴比耶和安东·塞泽尔}，年份＝{2006}，doi={10.1016/j.jlap.2005.07.001}，url={http://dx.doi.org/10.1016/j.jlap.2005.07.001},研究人员={https://researchr.org/publication/DybjerS06},引用={0}，引用者={0}，journal={逻辑与代数编程杂志}，体积={66}，数字={1}，页数={1-49}，}