Karam, Gerald M.

Computational Improvements in Prolog Applications by Predicate Variable Pointers - 490-497 p.


Compilers
Computational Complexity
Data Structures