Alexander Bau, Johannes Waldmann. Propositional Encoding of Constraints over Tree-Shaped Data. In Michael Hanus, Ricardo Rocha, editors, Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Volume 8439 of Lecture Notes in Computer Science, pages 33-47, Springer, 2013. [doi]
@inproceedings{BauW13,
title = {Propositional Encoding of Constraints over Tree-Shaped Data},
author = {Alexander Bau and Johannes Waldmann},
year = {2013},
doi = {10.1007/978-3-319-08909-6_3},
url = {http://dx.doi.org/10.1007/978-3-319-08909-6_3},
researchr = {https://researchr.org/publication/BauW13},
cites = {0},
citedby = {0},
pages = {33-47},
booktitle = {Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers},
editor = {Michael Hanus and Ricardo Rocha},
volume = {8439},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-08908-9},
}