Top-Down Semantics of Fair Computations of Logic Programs

Maarten H. van Emden, M. A. Nait Abdallah. Top-Down Semantics of Fair Computations of Logic Programs. Journal of Logic and Algebraic Programming, 2(1):67-75, 1985.

Abstract

Abstract is missing.