@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 = {ICLP},
}

@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 = {ICLP},
}

@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 = {ppdp},
}

@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 = {ICLP},
}

@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 = {wlp},
}

@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 = {haskell},
}

@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 = {ICLP},
}

@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 = {ENTCS},
  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 = {ICLP},
}

@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 = {ICLP},
}

@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 = {ppdp},
}

@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 = {ICFP},
}

@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 = {ICLP},
}

@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 = {ICLP},
}

@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 = {ICFP},
}

@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 = {SAS},
}

@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 = {LOPSTR},
}

@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 = {tldi},
}

@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 = {ppdp},
}

@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 = {plpv},
}

@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 = {FLOPS},
}

@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 = {ICLP},
}

@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 = {ICLP},
}

@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 = {LOPSTR},
}

@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 = {wlp},
}

@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 = {wlp},
}

@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 = {TOPLAS},
  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 = {JFP},
  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 = {ICLP},
}

@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 = {ICLP},
}

@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 = {wlp},
}

@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 = {aplas},
}

@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 = {LOPSTR},
}

@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 = {LOPSTR},
}

@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 = {ICLP},
}

@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 = {ICLP},
}

@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 = {AOSD},
}
@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},
}