Automatic Visualization of Relational Logic Models

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson. Automatic Visualization of Relational Logic Models. ECEASST, 7, 2007. [doi]