"Towards Optimization of Full Prolog Programs Guided by Abstract ..."

Anne Parrain, Philippe Devienne, Patrick Lebègue (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics