et al. High-performance logic programming with the Aquarius Prolog compiler (1992)

by P van Roy
Venue:IEEE Computer