Warren’s Abstract Machine: A Tutorial Reconstruction (1991)

by Hassan Aït-Kaci