@inproceedings{ITiCSE-2004-Gal-EzerLS04a,
	author        = "Judith Gal-Ezer and Dvir Lanzberg and Daphna Shahak",
	booktitle     = "{Proceedings of the Ninth Conference on Innovation and Technology in Computer Science Education}",
	doi           = "10.1145/1007996.1008114",
	isbn          = "1-58113-836-9",
	pages         = "276",
	publisher     = "{ACM}",
	title         = "{Introducing undecidability}",
	year          = 2004,
}