Refinement of Higher-Order Logic Programs.

Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper

Browse the full LOPSTR paper archive.