Building large-scale Prolog programs using a techniques editing system - Vargas-Vera, María; Vasconcelos, Wamberto; Robertson, Dave (1993)