LMNtal as a hierarchical logic programming language

Kazunori Ueda. LMNtal as a hierarchical logic programming language. Theoretical Computer Science, 410(46):4784-4800, 2009. [doi]

Abstract

Abstract is missing.