Semantics of Infinite Tree Logic Programming

Joxan Jaffar, Peter J. Stuckey. Semantics of Infinite Tree Logic Programming. Theoretical Computer Science, 46(3):141-158, 1986.

Abstract

Abstract is missing.