@收款{zbMATH02195038，作者=｛Kirchner，Claude and Kirchner，H｝e｝l｝e｝ne｝，标题={基于规则的编程和证明：{The}{ELAN}体验成果}，BookTitle={计算机科学进展--ASIAN 2004。高层决策。第九届亚洲计算科学会议。2004年12月8日至10日，在泰国清迈举行的Jean-Louis Lassez五周岁生日上，向他致敬。会议记录。}，ISBN＝{3-540-24087-X}，页码={363--379}，年份={2004}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b103476}，关键词={68N15}，zbMATH={2195038}，Zbl={1115.68367}}