MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration. - Kanako Sakurai; Kenichi Asai (LOPSTR, 2010)