@inproceedings{conf/sigcse/GinatA06,
	title = {Reversing: an essential heuristic in program and proof design.},
	author = {David Ginat and Michal Armoni},
	booktitle = {SIGCSE},
	crossref = {conf/sigcse/2006},
	editor = {Doug Baldwin and Paul T. Tymann and Susan M. Haller and Ingrid Russell},
	pages = {469-473},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse2006.html#GinatA06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/23dc69f344d8fa11a1e3deb3274daea06/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1121341.1121488}, isbn = {1-59593-259-3}, date = {2007-04-24},
	keywords = {dblp }
}