A Technique for Modular Logic Program Refinement.

Robert Colvin Ian J. Hayes Paul A. Strooper A Technique for Modular Logic Program Refinement. 38-56 2000 LOPSTR (LNCS 2042: Selected Papers) conf/lopstr/2000 http://link.springer.de/link/service/series/0558/bibs/2042/20420038.htm db/conf/lopstr/lopstr2000lncs.html#ColvinHS00a