1. Ait-Kaci, H.: Warren's Abstract Machine. A Tutorial Reconstruction. The MIT Press, 1991.
2. Appleby, K., Carlsson, M., Haridi, S., Sahlin, D.: Garbage collection for Prolog based on WAM. Communications of the ACM, v.31, n.6, (June 1988), 719–741.
3. Bruynooghe, M.: The memory management of Prolog implementations. in: Logic Programming, (N.Y, Academic Press, 1982) 193–210.
4. Debray, S.K., Lin, Nai-Wei.: Automatic Complexity Analysis of Logic Programs. In: Logic Programming. Proc. of the 8th Intern. Conf. (K.Furikawa Ed.), 1991.
5. Dikovsky, A.Ja.: Space considerations in Prolog. in: Meyer, A.R. Taitslin,M.A. ed., Proc. of the Symp. on Logical Foundations of Comput. Sci. ”Logic at Botik'89”, (Springer-Verlag, 1989), 101–107.