"An integrated prolog architecture for symbolic and numeric executions."

Alvin M. Despain, Robert Yung (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics