Bradley T. Vander Zanden, David K. Baker, Jing Jin. An explanation-based, visual debugger for one-way constraints. In Steven Feiner, James A. Landay, editors, Proceedings of the 17th Annual ACM Symposium on User Interface Software and Technology, Santa Fe, NM, USA, October 24-27, 2004. pages 207-216, ACM, 2004. [doi]
Abstract is missing.