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]
@inproceedings{KangL12,
title = {LogicPad: a pen-based application for visualization and verification of boolean algebra},
author = {Bo Kang and Joseph J. LaViola Jr.},
year = {2012},
doi = {10.1145/2166966.2167014},
url = {http://doi.acm.org/10.1145/2166966.2167014},
researchr = {https://researchr.org/publication/KangL12},
cites = {0},
citedby = {0},
pages = {265-268},
booktitle = {17th International Conference on Intelligent User Interfaces, IUI '12, Lisbon, Portugal, February 14-17, 2012},
editor = {Carlos Duarte and Luís Carriço and Joaquim A. Jorge and Sharon L. Oviatt and Daniel Gonçalves},
publisher = {ACM},
isbn = {978-1-4503-1048-2},
}