M.__Hermenegildo
Efficient Term Size Computation for Granularity Control
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems