"Self-tuning resource aware specialisation for prolog."

Stephen-John Craig, Michael Leuschel (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics