Middle-Out Reasoning for Logic Program Synthesis.

Ina Kraan, David A. Basin, Alan Bundy

Browse the full ICLP paper archive.