@article{10.1109/MCG.2010.15,
author = {},
title = {Prajna: Adding Automated Reasoning to the Visual- Analysis Process},
journal = {IEEE Computer Graphics and Applications},
volume = {30},
number = {1},
issn = {0272-1716},
year = {2010},
pages = {50-58},
doi = {doi.ieeecomputersociety.org/10.1109/MCG.2010.15},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}