William H. Winsborough;Gudjon Gudjonsson
-;-
Compile-time memory reuse in logic programming languages through update in place
ACM Transactions on Programming Languages and Systems (TOPLAS)