@incollection{WeertWSD08,
  title = {CHR for Imperative Host Languages},
  author = {Peter Van Weert and Pieter Wuille and Tom Schrijvers and Bart Demoen},
  year = {2008},
  doi = {10.1007/978-3-540-92243-8_7},
  url = {http://dx.doi.org/10.1007/978-3-540-92243-8_7},
  researchr = {https://researchr.org/publication/WeertWSD08},
  cites = {0},
  citedby = {0},
  pages = {161-212},
  booktitle = {Constraint Handling Rules, Current Research Topics},
  editor = {Tom Schrijvers and Thom W. Frühwirth},
  volume = {5388},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-92242-1},
}

@inproceedings{KoninckSD07:0,
  title = {The Correspondence Between the Logical Algorithms Language and CHR},
  author = {Leslie De Koninck and Tom Schrijvers and Bart Demoen},
  year = {2007},
  doi = {10.1007/978-3-540-74610-2_15},
  url = {http://dx.doi.org/10.1007/978-3-540-74610-2_15},
  researchr = {https://researchr.org/publication/KoninckSD07%3A0},
  cites = {0},
  citedby = {0},
  pages = {209-223},
  booktitle = {Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings},
  editor = {Verónica Dahl and Ilkka Niemelä},
  volume = {4670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74608-9},
}

@inproceedings{SchrijversBD02,
  title = {Trailing Analysis for HAL},
  author = {Tom Schrijvers and Maria J. García de la Banda and Bart Demoen},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2401/24010038.htm},
  tags = {analysis},
  researchr = {https://researchr.org/publication/SchrijversBD02},
  cites = {0},
  citedby = {0},
  pages = {38-53},
  booktitle = {Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings},
  editor = {Peter J. Stuckey},
  volume = {2401},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43930-7},
}

@inproceedings{SchrijversD02,
  title = {Combining an improvement to PARMA trailing with trailing analysis},
  author = {Tom Schrijvers and Bart Demoen},
  year = {2002},
  doi = {10.1145/571157.571167},
  url = {http://doi.acm.org/10.1145/571157.571167},
  tags = {analysis},
  researchr = {https://researchr.org/publication/SchrijversD02},
  cites = {0},
  citedby = {0},
  pages = {88-98},
  booktitle = {Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)},
  publisher = {ACM},
}

@inproceedings{Schrijvers04,
  title = {JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR},
  author = {Tom Schrijvers},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=475},
  tags = {Prolog, Java},
  researchr = {https://researchr.org/publication/Schrijvers04},
  cites = {0},
  citedby = {0},
  pages = {475-476},
  booktitle = {Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings},
  editor = {Bart Demoen and Vladimir Lifschitz},
  volume = {3132},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22671-0},
}

@inproceedings{SchrijversF05,
  title = {Analysing the CHR Implementation of Union-Find},
  author = {Tom Schrijvers and Thom W. Frühwirth},
  year = {2005},
  researchr = {https://researchr.org/publication/SchrijversF05},
  cites = {0},
  citedby = {0},
  pages = {135-146},
  booktitle = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005},
  editor = {Armin Wolf and Thom W. Frühwirth and Marc Meister},
  volume = {2005-01},
  series = {Ulmer Informatik-Berichte},
  publisher = {Universität Ulm, Germany},
}

@inproceedings{BirdGMVS13,
  title = {Understanding idiomatic traversals backwards and forwards},
  author = {Richard S. Bird and Jeremy Gibbons and Stefan Mehner and Tom Schrijvers and Janis Voigtländer},
  year = {2013},
  doi = {10.1145/2503778.2503781},
  url = {http://doi.acm.org/10.1145/2503778.2503781},
  researchr = {https://researchr.org/publication/BirdGMVS13},
  cites = {0},
  citedby = {0},
  pages = {25-36},
  booktitle = {Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013},
  editor = {Chung-chieh Shan},
  publisher = {ACM},
  isbn = {978-1-4503-2383-3},
}

@inproceedings{SchrijversS04,
  title = {Improving Prolog Programs: Refactoring for Prolog},
  author = {Tom Schrijvers and Alexander Serebrenik},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=58},
  tags = {Prolog, refactoring},
  researchr = {https://researchr.org/publication/SchrijversS04},
  cites = {0},
  citedby = {0},
  pages = {58-72},
  booktitle = {Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings},
  editor = {Bart Demoen and Vladimir Lifschitz},
  volume = {3132},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22671-0},
}

@article{VytiniotisJSS11,
  title = {{OutsideIn(X)} Modular type inference with local assumptions},
  author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and Tom Schrijvers and Martin Sulzmann},
  year = {2011},
  tags = {empirical, programming languages, type inference, rule-based, data-flow language, constraints, Haskell, type system, data-flow programming, data-flow, metatheory, systematic-approach, local type inference, domain-specific language},
  researchr = {https://researchr.org/publication/VytiniotisJSS11},
  cites = {0},
  citedby = {0},
  journal = {J. Funct. Program.},
  volume = {21},
  number = {4-5},
  pages = {333-412},
}

@article{SchrijversDDSF06,
  title = {Automatic Implication Checking for CHR Constraints},
  author = {Tom Schrijvers and Bart Demoen and Gregory J. Duck and Peter J. Stuckey and Thom W. Frühwirth},
  year = {2006},
  doi = {10.1016/j.entcs.2005.06.039},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.06.039},
  tags = {constraints},
  researchr = {https://researchr.org/publication/SchrijversDDSF06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {147},
  number = {1},
  pages = {93-111},
}

@inproceedings{SchrijversD08,
  title = {Uniting the Prolog Community},
  author = {Tom Schrijvers and Bart Demoen},
  year = {2008},
  doi = {10.1007/978-3-540-89982-2_2},
  url = {http://dx.doi.org/10.1007/978-3-540-89982-2_2},
  tags = {Prolog},
  researchr = {https://researchr.org/publication/SchrijversD08},
  cites = {0},
  citedby = {0},
  pages = {7-8},
  booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings},
  editor = {Maria Garcia de la Banda and Enrico Pontelli},
  volume = {5366},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89981-5},
}

@inproceedings{SneyersWSD07,
  title = {Aggregates in Constraint Handling Rules},
  author = {Jon Sneyers and Peter Van Weert and Tom Schrijvers and Bart Demoen},
  year = {2007},
  doi = {10.1007/978-3-540-74610-2_39},
  url = {http://dx.doi.org/10.1007/978-3-540-74610-2_39},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/SneyersWSD07},
  cites = {0},
  citedby = {0},
  pages = {446-448},
  booktitle = {Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings},
  editor = {Verónica Dahl and Ilkka Niemelä},
  volume = {4670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74608-9},
}

@inproceedings{SchrijversB06,
  title = {Polymorphic algebraic data type reconstruction},
  author = {Tom Schrijvers and Maurice Bruynooghe},
  year = {2006},
  doi = {10.1145/1140335.1140347},
  url = {http://doi.acm.org/10.1145/1140335.1140347},
  tags = {data-flow,  algebra},
  researchr = {https://researchr.org/publication/SchrijversB06},
  cites = {0},
  citedby = {0},
  pages = {85-96},
  booktitle = {Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy},
  editor = {Annalisa Bossi and Michael J. Maher},
  publisher = {ACM},
  isbn = {1-59593-388-3},
}

@inproceedings{SchrijversJSV09,
  title = {Complete and decidable type inference for GADTs},
  author = {Tom Schrijvers and Simon L. Peyton Jones and Martin Sulzmann and Dimitrios Vytiniotis},
  year = {2009},
  doi = {10.1145/1596550.1596599},
  url = {http://doi.acm.org/10.1145/1596550.1596599},
  tags = {type inference, completeness},
  researchr = {https://researchr.org/publication/SchrijversJSV09},
  cites = {0},
  citedby = {0},
  pages = {341-352},
  booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}

@inproceedings{SchrijversCWD08,
  title = {Towards Typed Prolog},
  author = {Tom Schrijvers and Vítor Santos Costa and Jan Wielemaker and Bart Demoen},
  year = {2008},
  doi = {10.1007/978-3-540-89982-2_59},
  url = {http://dx.doi.org/10.1007/978-3-540-89982-2_59},
  tags = {Prolog},
  researchr = {https://researchr.org/publication/SchrijversCWD08},
  cites = {0},
  citedby = {0},
  pages = {693-697},
  booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings},
  editor = {Maria Garcia de la Banda and Enrico Pontelli},
  volume = {5366},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89981-5},
}

@inproceedings{Schrijvers08,
  title = {Constraint Handling Rules},
  author = {Tom Schrijvers},
  year = {2008},
  doi = {10.1007/978-3-540-89982-2_3},
  url = {http://dx.doi.org/10.1007/978-3-540-89982-2_3},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/Schrijvers08},
  cites = {0},
  citedby = {0},
  pages = {9-10},
  booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings},
  editor = {Maria Garcia de la Banda and Enrico Pontelli},
  volume = {5366},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89981-5},
}

@inproceedings{SchrijversJCS08,
  title = {Type checking with open type functions},
  author = {Tom Schrijvers and Simon L. Peyton Jones and Manuel M. T. Chakravarty and Martin Sulzmann},
  year = {2008},
  doi = {10.1145/1411204.1411215},
  url = {http://doi.acm.org/10.1145/1411204.1411215},
  tags = {open function types, source-to-source, type checking, open-source},
  researchr = {https://researchr.org/publication/SchrijversJCS08},
  cites = {0},
  citedby = {0},
  pages = {51-62},
  booktitle = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008},
  editor = {James Hook and Peter Thiemann},
  publisher = {ACM},
  isbn = {978-1-59593-919-7},
}

@inproceedings{SchrijversM10,
  title = {Strictness Meets Data Flow},
  author = {Tom Schrijvers and Alan Mycroft},
  year = {2010},
  doi = {10.1007/978-3-642-15769-1_27},
  url = {http://dx.doi.org/10.1007/978-3-642-15769-1_27},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/SchrijversM10},
  cites = {0},
  citedby = {0},
  pages = {439-454},
  booktitle = {Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings},
  editor = {Radhia Cousot and Matthieu Martel},
  volume = {6337},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15768-4},
}

@inproceedings{PilozziSB09,
  title = {A Transformational Approach for Proving Properties of the CHR Constraint Store},
  author = {Paolo Pilozzi and Tom Schrijvers and Maurice Bruynooghe},
  year = {2009},
  doi = {10.1007/978-3-642-12592-8_3},
  url = {http://dx.doi.org/10.1007/978-3-642-12592-8_3},
  tags = {constraints, systematic-approach, transformation},
  researchr = {https://researchr.org/publication/PilozziSB09},
  cites = {0},
  citedby = {0},
  pages = {22-36},
  booktitle = {Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers},
  editor = {Danny De Schreye},
  volume = {6037},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12591-1},
}

@inproceedings{VytiniotisJS10,
  title = {Let should not be generalized},
  author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and Tom Schrijvers},
  year = {2010},
  doi = {10.1145/1708016.1708023},
  url = {http://doi.acm.org/10.1145/1708016.1708023},
  researchr = {https://researchr.org/publication/VytiniotisJS10},
  cites = {0},
  citedby = {0},
  pages = {39-50},
  booktitle = {Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010},
  editor = {Andrew Kennedy and Nick Benton},
  publisher = {ACM},
  isbn = {978-1-60558-891-9},
}

@inproceedings{SchrijversSD05,
  title = {Abstract interpretation for constraint handling rules},
  author = {Tom Schrijvers and Peter J. Stuckey and Gregory J. Duck},
  year = {2005},
  doi = {10.1145/1069774.1069795},
  url = {http://doi.acm.org/10.1145/1069774.1069795},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/SchrijversSD05},
  cites = {0},
  citedby = {0},
  pages = {218-229},
  booktitle = {Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal},
  editor = {Pedro Barahona and Amy P. Felty},
  publisher = {ACM},
  isbn = {1-59593-090-6},
}

@incollection{SneyersSD08,
  title = {Guard Reasoning in the Refined Operational Semantics of CHR},
  author = {Jon Sneyers and Tom Schrijvers and Bart Demoen},
  year = {2008},
  doi = {10.1007/978-3-540-92243-8_8},
  url = {http://dx.doi.org/10.1007/978-3-540-92243-8_8},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/SneyersSD08},
  cites = {0},
  citedby = {0},
  pages = {213-244},
  booktitle = {Constraint Handling Rules, Current Research Topics},
  editor = {Tom Schrijvers and Thom W. Frühwirth},
  volume = {5388},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-92242-1},
}

@inproceedings{SchrijversGM09,
  title = {Type invariants for Haskell},
  author = {Tom Schrijvers and Louis-Julien Guillemette and Stefan Monnier},
  year = {2009},
  doi = {10.1145/1481848.1481855},
  url = {http://doi.acm.org/10.1145/1481848.1481855},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/SchrijversGM09},
  cites = {0},
  citedby = {0},
  pages = {39-48},
  booktitle = {Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009},
  editor = {Thorsten Altenkirch and Todd D. Millstein},
  publisher = {ACM},
  isbn = {978-1-60558-330-3},
}

@incollection{KoninckSD08-0,
  title = {A Flexible Search Framework for CHR},
  author = {Leslie De Koninck and Tom Schrijvers and Bart Demoen},
  year = {2008},
  doi = {10.1007/978-3-540-92243-8_2},
  url = {http://dx.doi.org/10.1007/978-3-540-92243-8_2},
  tags = {search},
  researchr = {https://researchr.org/publication/KoninckSD08-0},
  cites = {0},
  citedby = {0},
  pages = {16-47},
  booktitle = {Constraint Handling Rules, Current Research Topics},
  editor = {Tom Schrijvers and Thom W. Frühwirth},
  volume = {5388},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-92242-1},
}

@article{SchrijversF06,
  title = {Optimal union-find in Constraint Handling Rules},
  author = {Tom Schrijvers and Thom W. Frühwirth},
  year = {2006},
  doi = {10.1017/S1471068405002541},
  url = {http://dx.doi.org/10.1017/S1471068405002541},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/SchrijversF06},
  cites = {0},
  citedby = {0},
  journal = {TPLP},
  volume = {6},
  number = {1-2},
  pages = {213-224},
}

@inproceedings{OrchardS10,
  title = {Haskell Type Constraints Unleashed},
  author = {Dominic A. Orchard and Tom Schrijvers},
  year = {2010},
  doi = {10.1007/978-3-642-12251-4_6},
  url = {http://dx.doi.org/10.1007/978-3-642-12251-4_6},
  tags = {constraints, Haskell},
  researchr = {https://researchr.org/publication/OrchardS10},
  cites = {0},
  citedby = {0},
  pages = {56-71},
  booktitle = {Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings},
  editor = {Matthias Blume and Naoki Kobayashi and Germán Vidal},
  volume = {6009},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12250-7},
}

@article{SchrijversDW08,
  title = {TCHR: a framework for tabled CLP},
  author = {Tom Schrijvers and Bart Demoen and David Scott Warren},
  year = {2008},
  doi = {10.1017/S147106840800327X},
  url = {http://dx.doi.org/10.1017/S147106840800327X},
  researchr = {https://researchr.org/publication/SchrijversDW08},
  cites = {0},
  citedby = {0},
  journal = {TPLP},
  volume = {8},
  number = {4},
  pages = {491-526},
}

@inproceedings{SneyersSD05,
  title = {Guard and Continuation Optimization for Occurrence Representations of CHR},
  author = {Jon Sneyers and Tom Schrijvers and Bart Demoen},
  year = {2005},
  doi = {10.1007/11562931_9},
  url = {http://dx.doi.org/10.1007/11562931_9},
  tags = {optimization},
  researchr = {https://researchr.org/publication/SneyersSD05},
  cites = {0},
  citedby = {0},
  pages = {83-97},
  booktitle = {Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings},
  editor = {Maurizio Gabbrielli and Gopal Gupta},
  volume = {3668},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29208-X},
}

@inproceedings{Schrijvers05,
  title = {Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary},
  author = {Tom Schrijvers},
  year = {2005},
  doi = {10.1007/11562931_44},
  url = {http://dx.doi.org/10.1007/11562931_44},
  tags = {optimization, rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/Schrijvers05},
  cites = {0},
  citedby = {0},
  pages = {435-436},
  booktitle = {Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings},
  editor = {Maurizio Gabbrielli and Gopal Gupta},
  volume = {3668},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29208-X},
}

@inproceedings{DegraveSV09,
  title = {Towards a Framework for Constraint-Based Test Case Generation},
  author = {François Degrave and Tom Schrijvers and Wim Vanhoof},
  year = {2009},
  doi = {10.1007/978-3-642-12592-8_10},
  url = {http://dx.doi.org/10.1007/978-3-642-12592-8_10},
  tags = {rule-based, testing, constraints},
  researchr = {https://researchr.org/publication/DegraveSV09},
  cites = {0},
  citedby = {0},
  pages = {128-142},
  booktitle = {Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers},
  editor = {Danny De Schreye},
  volume = {6037},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12591-1},
}

@inproceedings{SneyersSD05:0,
  title = {Guard Simplification in CHR programs},
  author = {Jon Sneyers and Tom Schrijvers and Bart Demoen},
  year = {2005},
  researchr = {https://researchr.org/publication/SneyersSD05%3A0},
  cites = {0},
  citedby = {0},
  pages = {123-134},
  booktitle = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005},
  editor = {Armin Wolf and Thom W. Frühwirth and Marc Meister},
  volume = {2005-01},
  series = {Ulmer Informatik-Berichte},
  publisher = {Universität Ulm, Germany},
}

@article{SchrijversDBS06,
  title = {Improving PARMA trailing},
  author = {Tom Schrijvers and Bart Demoen and Maria J. García de la Banda and Peter J. Stuckey},
  year = {2006},
  doi = {10.1017/S1471068405002620},
  url = {http://dx.doi.org/10.1017/S1471068405002620},
  researchr = {https://researchr.org/publication/SchrijversDBS06},
  cites = {0},
  citedby = {0},
  journal = {TPLP},
  volume = {6},
  number = {6},
  pages = {609-644},
}

@inproceedings{KoninckSD06,
  title = {INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals},
  author = {Leslie De Koninck and Tom Schrijvers and Bart Demoen},
  year = {2006},
  url = {http://www.kr.tuwien.ac.at/wlp06/13-final.ps.gz},
  tags = {rule-based, constraints, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/KoninckSD06},
  cites = {0},
  citedby = {0},
  pages = {91-100},
  booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006},
  editor = {Michael Fink and Hans Tompits and Stefan Woltran},
  volume = {1843-06-02},
  series = {INFSYS Research Report},
  publisher = {Technische Universität Wien, Austria},
}

@article{SerebrenikSD08,
  title = {Improving Prolog programs: Refactoring for Prolog},
  author = {Alexander Serebrenik and Tom Schrijvers and Bart Demoen},
  year = {2008},
  doi = {10.1017/S1471068407003134},
  url = {http://dx.doi.org/10.1017/S1471068407003134},
  tags = {Prolog, refactoring},
  researchr = {https://researchr.org/publication/SerebrenikSD08},
  cites = {0},
  citedby = {0},
  journal = {TPLP},
  volume = {8},
  number = {2},
  pages = {201-215},
}

@article{SneyersSD09,
  title = {The computational power and complexity of constraint handling rules},
  author = {Jon Sneyers and Tom Schrijvers and Bart Demoen},
  year = {2009},
  doi = {10.1145/1462166.1462169},
  url = {http://doi.acm.org/10.1145/1462166.1462169},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/SneyersSD09},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {31},
  number = {2},
}

@article{SchrijversSW09,
  title = {Monadic constraint programming},
  author = {Tom Schrijvers and Peter J. Stuckey and Philip Wadler},
  year = {2009},
  doi = {10.1017/S0956796809990086},
  url = {http://dx.doi.org/10.1017/S0956796809990086},
  tags = {constraints, programming},
  researchr = {https://researchr.org/publication/SchrijversSW09},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {19},
  number = {6},
  pages = {663-697},
}

@inproceedings{SchrijversS08,
  title = {Transactions in Constraint Handling Rules},
  author = {Tom Schrijvers and Martin Sulzmann},
  year = {2008},
  doi = {10.1007/978-3-540-89982-2_44},
  url = {http://dx.doi.org/10.1007/978-3-540-89982-2_44},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/SchrijversS08},
  cites = {0},
  citedby = {0},
  pages = {516-530},
  booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings},
  editor = {Maria Garcia de la Banda and Enrico Pontelli},
  volume = {5366},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89981-5},
}

@inproceedings{SneyersSD06,
  title = {Memory Reuse for CHR},
  author = {Jon Sneyers and Tom Schrijvers and Bart Demoen},
  year = {2006},
  doi = {10.1007/11799573_8},
  url = {http://dx.doi.org/10.1007/11799573_8},
  tags = {reuse},
  researchr = {https://researchr.org/publication/SneyersSD06},
  cites = {0},
  citedby = {0},
  pages = {72-86},
  booktitle = {Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  editor = {Sandro Etalle and Miroslaw Truszczynski},
  volume = {4079},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-36635-0},
}

@inproceedings{SneyersSD06:0,
  title = {Dijkstra s Algorithm with Fibonacci Heaps: An Executable Description in CHR},
  author = {Jon Sneyers and Tom Schrijvers and Bart Demoen},
  year = {2006},
  url = {http://www.kr.tuwien.ac.at/wlp06/02-final.ps.gz},
  researchr = {https://researchr.org/publication/SneyersSD06%3A0},
  cites = {0},
  citedby = {0},
  pages = {182-191},
  booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006},
  editor = {Michael Fink and Hans Tompits and Stefan Woltran},
  volume = {1843-06-02},
  series = {INFSYS Research Report},
  publisher = {Technische Universität Wien, Austria},
}

@inproceedings{SulzmannSS06,
  title = {Principal Type Inference for GHC-Style Multi-parameter Type Classes},
  author = {Martin Sulzmann and Tom Schrijvers and Peter J. Stuckey},
  year = {2006},
  doi = {10.1007/11924661_2},
  url = {http://dx.doi.org/10.1007/11924661_2},
  tags = {type inference},
  researchr = {https://researchr.org/publication/SulzmannSS06},
  cites = {0},
  citedby = {0},
  pages = {26-43},
  booktitle = {Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings},
  editor = {Naoki Kobayashi},
  volume = {4279},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48937-1},
}

@inproceedings{SchrijversBG08,
  title = {From Monomorphic to Polymorphic Well-Typings and Beyond},
  author = {Tom Schrijvers and Maurice Bruynooghe and John P. Gallagher},
  year = {2008},
  doi = {10.1007/978-3-642-00515-2_11},
  url = {http://dx.doi.org/10.1007/978-3-642-00515-2_11},
  researchr = {https://researchr.org/publication/SchrijversBG08},
  cites = {0},
  citedby = {0},
  pages = {152-167},
  booktitle = {Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers},
  editor = {Michael Hanus},
  volume = {5438},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00514-5},
}

@article{SneyersWSK10,
  title = {As time goes by: Constraint Handling Rules},
  author = {Jon Sneyers and Peter Van Weert and Tom Schrijvers and Leslie De Koninck},
  year = {2010},
  doi = {10.1017/S1471068409990123},
  url = {http://dx.doi.org/10.1017/S1471068409990123},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/SneyersWSK10},
  cites = {0},
  citedby = {0},
  journal = {TPLP},
  volume = {10},
  number = {1},
  pages = {1-47},
}

@inproceedings{DegraveSV08,
  title = {Automatic Generation of Test Inputs for Mercury},
  author = {François Degrave and Tom Schrijvers and Wim Vanhoof},
  year = {2008},
  doi = {10.1007/978-3-642-00515-2_6},
  url = {http://dx.doi.org/10.1007/978-3-642-00515-2_6},
  tags = {testing},
  researchr = {https://researchr.org/publication/DegraveSV08},
  cites = {0},
  citedby = {0},
  pages = {71-86},
  booktitle = {Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers},
  editor = {Michael Hanus},
  volume = {5438},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00514-5},
}

@inproceedings{SchrijversW04,
  title = {Constraint Handling Rules and Tabled Execution},
  author = {Tom Schrijvers and David Scott Warren},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=120},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/SchrijversW04},
  cites = {0},
  citedby = {0},
  pages = {120-136},
  booktitle = {Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings},
  editor = {Bart Demoen and Vladimir Lifschitz},
  volume = {3132},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22671-0},
}

@inproceedings{Sarna-StarostaS09,
  title = {Attributed Data for CHR Indexing},
  author = {Beata Sarna-Starosta and Tom Schrijvers},
  year = {2009},
  doi = {10.1007/978-3-642-02846-5_30},
  url = {http://dx.doi.org/10.1007/978-3-642-02846-5_30},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Sarna-StarostaS09},
  cites = {0},
  citedby = {0},
  pages = {357-371},
  booktitle = {Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings},
  editor = {Patricia M. Hill and David Scott Warren},
  volume = {5649},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02845-8},
}

@inproceedings{OliveiraSC10,
  title = {EffectiveAdvice: disciplined advice with explicit effects},
  author = {Bruno C. d. S. Oliveira and Tom Schrijvers and William R. Cook},
  year = {2010},
  doi = {10.1145/1739230.1739244},
  url = {http://doi.acm.org/10.1145/1739230.1739244},
  tags = {C++},
  researchr = {https://researchr.org/publication/OliveiraSC10},
  cites = {0},
  citedby = {0},
  pages = {109-120},
  booktitle = {Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010},
  editor = {Jean-Marc Jézéquel and Mario Südholt},
  publisher = {ACM},
  isbn = {978-1-60558-958-9},
}
@book{lncs-5388,
  title = {Constraint Handling Rules, Current Research Topics},
  year = {2008},
  doi = {10.1007/978-3-540-92243-8},
  url = {http://dx.doi.org/10.1007/978-3-540-92243-8},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/lncs-5388},
  cites = {0},
  citedby = {0},
  editor = {Tom Schrijvers and Thom W. Frühwirth},
  volume = {5388},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-92242-1},
}