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.
@article{EmdenA85,
title = {Top-Down Semantics of Fair Computations of Logic Programs},
author = {Maarten H. van Emden and M. A. Nait Abdallah},
year = {1985},
tags = {semantics, logic programming, logic},
researchr = {https://researchr.org/publication/EmdenA85},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {2},
number = {1},
pages = {67-75},
}