Dynamic Memory Management for Sequential Logic Programming Languages.

Yves Bekkers Olivier Ridoux Lucien Ungaro Dynamic Memory Management for Sequential Logic Programming Languages. 82-102 1992 conf/iwmm/1992 IWMM db/conf/iwmm/iwmm92.html#BekkersRU92