@正在进行{CernaSeidlSchreinerWindsteigerBiere-CSEDU20，author={David M.Cerna和马蒂娜·塞德尔和沃尔夫冈·施莱纳和Wolfgang Windsteiger和Armin Biere}，title={计算机科学第一学期的计算逻辑经验报告}，书名={{CSEDU}{（2）}}，pages＝{374-381}，publisher={{SCITEPRESS}}，年份={2020年}}