LMNtal as a hierarchical logic programming language - UEDA, Kazunori (Abstract Interpretation and Logic Programming: in Honor of professor Giorgio Levi, 2009)