@文章{zbMATH05217102，作者={Asperti、Andrea和Sacerdoti Coen、Claudio和Tassi、Enrico和Zacchiroli、Stefano}，标题={用户与{Matita}校对助手}的交互，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={39}，数字={2}，页码={109--139}，年份={2007}，语言={英语}，DOI={10.1007/s10817-007-9070-5}，关键词={68T15}，zbMATH={5217102}，Zbl={1132.68673}}