@正在进行{CernaSeidlSchreinerWindsteigerBiere-ITiCSE20，author={David Cerna和马蒂娜·塞德尔和沃尔夫冈·施莱纳和Wolfgang Windsteiger和Armin Biere}，title={帮助介绍第一年逻辑中的形式推理{CS}专业使用手机自学应用程序的课程}，booktitle={ITiCSE}，页数={61--67}，publisher={{ACM}}，年份={2020年}}