Automatic Visualization of Relational Logic Models.

Derek Rayside Felix Sheng-Ho Chang Greg Dennis Robert Seater Daniel Jackson Automatic Visualization of Relational Logic Models. 2007 7 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/94 db/journals/eceasst/eceasst7.html#RaysideCDSJ07