Semantics of infinite tree logic programming. Theoretical Computer Science 46:141--158 (1986)

by J Jaffar, P Stuckey