@inproceedings{add9c3a0fcee480699857d25fdb4c26f,
title = "Reductions for Synthesis Procedures",
author = "Swen Jacobs and Viktor Kuncak and Philippe Suter",
year = "2013",
doi = "10.1007/978-3-642-35873-9_8",
language = "English",
isbn = "978-3-642-35872-2",
volume = "7737",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "88--107",
booktitle = "Verification, Model Checking, and Abstract Interpretation",
note = "International Conference on Verification, Model Checking, and Abstract Interpretation ; Conference date: 20-01-2013 Through 22-01-2013",
}