P Boizumault
-
Computational Improvements in Prolog Applications by Predicate Variable Pointers
IEEE Transactions on Software Engineering