Publication
-
January 1982
-
January 1982
-
Contributions to the theory of logic programming Article
Journal of the ACM, 841-862.January 1982
-
January 1982
-
Fair termination revisited with delay In Proceedings
January 1982
-
Proof rules dealing with fairness In Proceedings
January 1982
-
January 1982
-
January 1982