"Prajna: Adding Automated Reasoning to the Visual- Analysis Process", IEEE Computer Graphics and Applications vol. 30 no. 1, p. 50-58, , 2010