Bo Kang, Joseph J. LaViola Jr.. LogicPad: a pen-based application for visualization and verification of boolean algebra. In Carlos Duarte, Luís Carriço, Joaquim A. Jorge, Sharon L. Oviatt, Daniel Gonçalves, editors, 17th International Conference on Intelligent User Interfaces, IUI '12, Lisbon, Portugal, February 14-17, 2012. pages 265-268, ACM, 2012. [doi]
Abstract is missing.