How to diagram your logical argument | IEEE Conference Publication | IEEE Xplore