Formal Program Development in Modular Prolog: A Case Study.

M. G. Read, E. A. Kazmierczak

Browse the full LOPSTR paper archive.