"Adding Redundancy to Obtain more Reliable and Readable Prolog Programs."

Maurice Bruynooghe (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics