Synthesis and Transformation of Logic Programs in the Whelk Proof Development System.

Geraint A. Wiggins

Browse the full ICLP paper archive.