"Speed-up Transformations of Logic Programs by Abstraction and Learning."

Jutta Eusterbrock (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics