Warren's Abstract Machine, a Tutorial Reconstruction (1991)

by Hassan
Venue:Logic Programming Series