Maarten H. van Emden M. A. Nait Abdallah Top-Down Semantics of Fair Computations of Logic Programs. 67-75 1985 2 J. Log. Program. 1 db/journals/jlp/jlp2.html#EmdenA85