%0 Conference Paper %1 conf/iclp/GangeS16 %A Gange, Graeme %A Stuckey, Peter J. %B ICLP (Technical Communications) %D 2016 %E Carro, Manuel %E King, Andy %E Saeedloei, Neda %E Vos, Marina De %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 13:1-13:14 %T Constraint Propagation and Explanation over Novel Types by Abstract Compilation. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#GangeS16 %V 52 %@ 978-3-95977-007-1

@inproceedings{conf/iclp/GangeS16, added-at = {2023-12-12T19:40:57.000+0100}, author = {Gange, Graeme and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2ea319cc32137c67556901e6788b9e784/admin}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2016}, editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and Vos, Marina De}, ee = {https://doi.org/10.4230/OASIcs.ICLP.2016.13}, interhash = {2471565f99ed0405536a82a6f6f6102d}, intrahash = {ea319cc32137c67556901e6788b9e784}, isbn = {978-3-95977-007-1}, keywords = {}, pages = {13:1-13:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASICS}, timestamp = {2023-12-12T19:40:57.000+0100}, title = {Constraint Propagation and Explanation over Novel Types by Abstract Compilation.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#GangeS16}, volume = 52, year = 2016 }