Ina Kraan, David A. Basin, Alan Bundy
Middle-Out Reasoning for Logic Program Synthesis
ICLP, 1993.
@inproceedings{ICLP-1993-KraanBB,
author = "Ina Kraan and David A. Basin and Alan Bundy",
booktitle = "{Proceedings of the 10th International Conference on Logic Programming}",
isbn = "0-262-73105-3",
pages = "441--455",
publisher = "{MIT Press}",
title = "{Middle-Out Reasoning for Logic Program Synthesis}",
year = 1993,
}