Kenneth A. Ross
Allen Van Gelder, Kenneth A. Ross, and John S. Schlipf.
The well-founded semantics for general logic programs.
Journal of the ACM
, 38(3):620-650, July 1991.
References, Citations, etc.
Kenneth A. Ross.
Modular stratification and magic sets for datalog programs with negation.
Journal of the ACM
, 41(6):1216-1266, November 1994.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database