John Gabriel, Tim Lindholm, E. L. Lusk, and R. A. Overbeek. A Tutorial on the Warren Abstract machine for Computational Logic. ANL-84-84, June 1985.
John Gabriel, Tim Lindholm, E. L. Lusk, and R. A. Overbeek. A Tutorial on the Warren Abstract machine for Computational Logic. ANL-84-84, Mathematics and Computer Science Division, Argonne National Laboratory, June 1985.
Size 5.1 MB - File type application/pdf