"Source-to-source Prolog Program Compression."

Philippe Devienne et al. (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics