Ulrich Geske How to Teach Difference Lists? 33-34 2006 conf/wlp/2006 WLP http://www.kr.tuwien.ac.at/wlp06/T02-final.ps.gz db/conf/wlp/wlp2006.html#Geske06