Remis Balaniuk
Drill and Join: A Method for Exact Inductive Program Synthesis
LOPSTR, 2014.
@inproceedings{LOPSTR-2014-Balaniuk,
author = "Remis Balaniuk",
booktitle = "{Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-319-17822-6_13",
isbn = "978-3-319-17821-9",
pages = "219--237",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Drill and Join: A Method for Exact Inductive Program Synthesis}",
volume = 8981,
year = 2014,
}











