Allen Van Gelder
- A. Van Gelder. Some new
results in pseudo-random number generation. Journal of the
ACM, 14(4):785-792, October 1967.
References.
- Jeffrey D. Ullman and Allen Van Gelder. Efficient tests for top-down
termination of logical rules. Journal of the ACM,
35(2):345-373, April 1988.
Citations.
- 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.
Shortcuts: