Kazunori Ueda Norio Kato Koji Hara Ken Mizuno LMNtal as a Unifying Declarative Language: Live Demonstration. 457-458 2006 conf/iclp/2006 ICLP http://dx.doi.org/10.1007/11799573_47 db/conf/iclp/iclp2006.html#UedaKHM06