Synthesis and transformation of logic programs in the Whelk proof development system (1992)

by Geraint A Wiggins
Venue:Proceedings of JICSLP-92