Adachi, Y.; Furusawa, Y. Logichart: A Prolog Program Diagram and Its Layout. eceasst 2007, 7.