Adding redundancy to obtain more reliable and more readable Prolog programs (1982)

by M Bruynooghe
Venue:Proc. First Intl. Logic Prog. Conf