Refining Logic Programs Using Types.

Robert Colvin Ian J. Hayes Paul A. Strooper Refining Logic Programs Using Types. 43-50 2000 conf/acsc/2000 ACSC http://doi.ieeecomputersociety.org/10.1109/ACSC.2000.824379 db/conf/acsc/acsc2000.html#ColvinHS00