@inproceedings{LOPSTR-2014-SchreyeNN,
author = "Danny De Schreye and Vincent Nys and Colin J. Nicholson",
booktitle = "{Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-319-17822-6_2",
isbn = "978-3-319-17821-9",
pages = "21--38",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction}",
volume = 8981,
year = 2014,
}
Tags: