publications:
- title: "Alma-O: An Imperative Language That Supports Declarative Programming"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Jacob Brunekreef"
    link: "https://researchr.org/alias/jacob-brunekreef"
  - name: "Vincent Partington"
    link: "https://researchr.org/alias/vincent-partington"
  - name: "Andrea Schaerf"
    link: "https://researchr.org/alias/andrea-schaerf"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/293677.293679"
  links:
    doi: "http://doi.acm.org/10.1145/293677.293679"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/AptBPS98"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "20"
  number: "5"
  pages: "1014-1066"
  kind: "article"
  key: "AptBPS98"
- title: "On the Occur-Check-Free Prolog Programs"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Alessandro Pellegrini"
    link: "https://researchr.org/alias/alessandro-pellegrini"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/177492.177673"
  links:
    doi: "http://doi.acm.org/10.1145/177492.177673"
  tags:
  - "Prolog"
  researchr: "https://researchr.org/publication/AptP94"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "16"
  number: "3"
  pages: "687-726"
  kind: "article"
  key: "AptP94"
- title: "Declarative Interpretations Reconsidered"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Maurizio Gabbrielli"
    link: "https://researchr.org/alias/maurizio-gabbrielli"
  year: "1994"
  researchr: "https://researchr.org/publication/AptG94"
  cites: 0
  citedby: 0
  pages: "74-89"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "AptG94"
- title: "Book review: Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  year: "2002"
  tags:
  - "reviewing"
  - "e-science"
  - "logic"
  researchr: "https://researchr.org/publication/Apt02"
  cites: 0
  citedby: 0
  journal: "tplp"
  volume: "2"
  number: "1"
  pages: "123-124"
  kind: "article"
  key: "Apt02"
- title: "Acyclic Programs"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  year: "1990"
  researchr: "https://researchr.org/publication/AptB90"
  cites: 0
  citedby: 0
  pages: "617-633"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "AptB90"
- title: "On the Unification Free Prolog Programs"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  year: "1993"
  tags:
  - "Prolog"
  researchr: "https://researchr.org/publication/AptE93"
  cites: 0
  citedby: 0
  pages: "1-19"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "AptE93"
- title: "Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Rachel Ben-Eliyahu"
    link: "https://researchr.org/alias/rachel-ben-eliyahu"
  year: "1996"
  tags:
  - "meta programming"
  - "meta-model"
  - "logic programming"
  - "programming"
  - "logic"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/AptB96"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "28"
  number: "1-2"
  pages: "23-36"
  kind: "article"
  key: "AptB96"
- title: "Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Lambert G. L. T. Meertens"
    link: "https://researchr.org/alias/lambert-g.-l.-t.-meertens"
  year: "1980"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/AptM80"
  cites: 0
  citedby: 0
  journal: "SICOMP"
  volume: "9"
  number: "4"
  pages: "665-671"
  kind: "article"
  key: "AptM80"
- title: "Editorial"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Antonis C. Kakas"
    link: "https://researchr.org/alias/antonis-c.-kakas"
  - name: "Fariba Sadri"
    link: "https://researchr.org/alias/fariba-sadri"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/383779.383823"
  links:
    doi: "http://doi.acm.org/10.1145/383779.383823"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AptKS01"
  cites: 0
  citedby: 0
  journal: "tocl"
  volume: "2"
  number: "4"
  pages: "431"
  kind: "article"
  key: "AptKS01"
- title: "Constraint-Based Qualitative Simulation"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Sebastian Brand"
    link: "https://researchr.org/alias/sebastian-brand"
  year: "2005"
  doi: "http://dx.doi.org/10.1109/TIME.2005.19"
  links:
    doi: "http://dx.doi.org/10.1109/TIME.2005.19"
  tags:
  - "rule-based"
  - "constraints"
  researchr: "https://researchr.org/publication/AptB05"
  cites: 0
  citedby: 0
  pages: "26-34"
  booktitle: "time"
  kind: "inproceedings"
  key: "AptB05"
- title: "Transformations Realizing Fairness Assumptions for Parallel Programs"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Ernst-Rüdiger Olderog"
    link: "https://researchr.org/alias/ernst-r%C3%BCdiger-olderog"
  year: "1984"
  tags:
  - "parallel programming"
  - "programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/AptO84"
  cites: 0
  citedby: 0
  pages: "26-42"
  booktitle: "STACS"
  kind: "inproceedings"
  key: "AptO84"
- title: "Logic Programming and Negation: A Survey"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  year: "1994"
  doi: "http://www.sciencedirect.com/science/article/pii/0743106694900248"
  abstract: "We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them."
  links:
    doi: "http://www.sciencedirect.com/science/article/pii/0743106694900248"
  tags:
  - "meta programming"
  - "meta-model"
  - "modeling"
  - "survey"
  - "logic programming"
  - "programming"
  - "logic"
  - "Meta-Environment"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AptB94"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "19/20"
  pages: "9-71"
  kind: "article"
  key: "AptB94"
- title: "Declarative Programming in Prolog"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  year: "1993"
  tags:
  - "Prolog"
  - "programming"
  researchr: "https://researchr.org/publication/Apt93"
  cites: 0
  citedby: 0
  pages: "12-35"
  booktitle: "SLP"
  kind: "inproceedings"
  key: "Apt93"
- title: "Acyclic Programs"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  year: "1991"
  researchr: "https://researchr.org/publication/AptB91"
  cites: 0
  citedby: 0
  journal: "ngc"
  volume: "9"
  number: "3/4"
  pages: "335-364"
  kind: "article"
  key: "AptB91"
- title: "A New Definition of SNDNF-Resolution"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Kees Doets"
    link: "https://researchr.org/alias/kees-doets"
  year: "1994"
  researchr: "https://researchr.org/publication/AptD94"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "18"
  number: "2"
  pages: "177-190"
  kind: "article"
  key: "AptD94"
- title: "Ten Years of Hoare s Logic: A Survey - Part 1"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  year: "1981"
  doi: "http://doi.acm.org/10.1145/357146.357150"
  links:
    doi: "http://doi.acm.org/10.1145/357146.357150"
  tags:
  - "survey"
  - "logic"
  researchr: "https://researchr.org/publication/Apt81"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "3"
  number: "4"
  pages: "431-483"
  kind: "article"
  key: "Apt81"
- title: "Semantics of the Infinitistic Rules of Proof"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  year: "1976"
  tags:
  - "semantics"
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/Apt76"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "41"
  number: "1"
  pages: "121-138"
  kind: "article"
  key: "Apt76"
- title: "Comparing the notions of optimality in CP-nets, strategic games and soft constraints"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Francesca Rossi"
    link: "https://researchr.org/alias/francesca-rossi"
  - name: "Kristen Brent Venable"
    link: "https://researchr.org/alias/kristen-brent-venable"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10472-008-9095-4"
  links:
    doi: "http://dx.doi.org/10.1007/s10472-008-9095-4"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/AptRV08"
  cites: 0
  citedby: 0
  journal: "AMAI"
  volume: "52"
  number: "1"
  pages: "25-54"
  kind: "article"
  key: "AptRV08"
- title: "Using Transformation to Verify Parallel Programs"
  author:
  - name: "Ernst-Rüdiger Olderog"
    link: "https://researchr.org/alias/ernst-r%C3%BCdiger-olderog"
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  year: "1989"
  tags:
  - "program verification"
  - "parallel programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/OlderogA89"
  cites: 0
  citedby: 0
  pages: "55-81"
  booktitle: "am"
  kind: "inproceedings"
  key: "OlderogA89"
- title: "The STO-Problem is NP-Hard"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Peter van Emde Boas"
    link: "https://researchr.org/alias/peter-van-emde-boas"
  - name: "Angelo Welling"
    link: "https://researchr.org/alias/angelo-welling"
  year: "1994"
  researchr: "https://researchr.org/publication/AptBW94"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "18"
  number: "5"
  pages: "489-495"
  kind: "article"
  key: "AptBW94"
- title: "Order independence and rationalizability"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1089933.1089938"
  links:
    doi: "http://doi.acm.org/10.1145/1089933.1089938"
  researchr: "https://researchr.org/publication/Apt05"
  cites: 0
  citedby: 0
  pages: "22-38"
  booktitle: "tark"
  kind: "inproceedings"
  key: "Apt05"
- title: "Foreword: Selected Papers of TACS 1991"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Masami Hagiya"
    link: "https://researchr.org/alias/masami-hagiya"
  year: "1993"
  researchr: "https://researchr.org/publication/AptH93"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "21"
  number: "2"
  pages: "91-92"
  kind: "article"
  key: "AptH93"
- title: "Modeling the Distributed Termination Convention of CSP"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Nissim Francez"
    link: "https://researchr.org/alias/nissim-francez"
  year: "1984"
  doi: "http://doi.acm.org/10.1145/579.584"
  links:
    doi: "http://doi.acm.org/10.1145/579.584"
  tags:
  - "modeling"
  - "termination"
  researchr: "https://researchr.org/publication/AptF84"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "6"
  number: "3"
  pages: "370-379"
  kind: "article"
  key: "AptF84"
- title: "On the Power of Subsumption and Context Checks"
  author:
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Jan Willem Klop"
    link: "https://researchr.org/alias/jan-willem-klop"
  year: "1990"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/BolAK90"
  cites: 0
  citedby: 0
  pages: "131-140"
  booktitle: "disco"
  kind: "inproceedings"
  key: "BolAK90"
- title: "An Analysis of Arithmetic Constraints on Integer Intervals"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Peter Zoeteweij"
    link: "https://researchr.org/alias/peter-zoeteweij"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10601-007-9017-9"
  links:
    doi: "http://dx.doi.org/10.1007/s10601-007-9017-9"
  tags:
  - "analysis"
  - "constraints"
  researchr: "https://researchr.org/publication/AptZ07"
  cites: 0
  citedby: 0
  journal: "constraints"
  volume: "12"
  number: "4"
  pages: "429-468"
  kind: "article"
  key: "AptZ07"
- title: "Countable nondeterminism and random assignment"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Gordon D. Plotkin"
    link: "https://researchr.org/alias/gordon-d.-plotkin"
  year: "1986"
  doi: "http://doi.acm.org/10.1145/6490.6494"
  links:
    doi: "http://doi.acm.org/10.1145/6490.6494"
  researchr: "https://researchr.org/publication/AptP86"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "33"
  number: "4"
  pages: "724-767"
  kind: "article"
  key: "AptP86"
- title: "Appraising Fairness in Languages for Distributed Programming"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Nissim Francez"
    link: "https://researchr.org/alias/nissim-francez"
  - name: "Shmuel Katz"
    link: "https://researchr.org/alias/shmuel-katz"
  year: "1988"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/AptFK88"
  cites: 0
  citedby: 0
  journal: "dc"
  volume: "2"
  number: "4"
  pages: "226-241"
  kind: "article"
  key: "AptFK88"
- title: "A Proof System for Communicating Sequential Processes"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Nissim Francez"
    link: "https://researchr.org/alias/nissim-francez"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  year: "1980"
  doi: "http://doi.acm.org/10.1145/357103.357110"
  links:
    doi: "http://doi.acm.org/10.1145/357103.357110"
  researchr: "https://researchr.org/publication/AptFR80"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "2"
  number: "3"
  pages: "359-385"
  kind: "article"
  key: "AptFR80"
- title: "Recursive Assertions are not enough - or are they?"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Lambert G. L. T. Meertens"
    link: "https://researchr.org/alias/lambert-g.-l.-t.-meertens"
  year: "1979"
  researchr: "https://researchr.org/publication/AptBM79"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "8"
  pages: "73-87"
  kind: "article"
  key: "AptBM79"
- title: "Fairness in Parallel Programs: The Transformational Approach"
  author:
  - name: "Ernst-Rüdiger Olderog"
    link: "https://researchr.org/alias/ernst-r%C3%BCdiger-olderog"
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/44501.44504"
  links:
    doi: "http://doi.acm.org/10.1145/44501.44504"
  tags:
  - "parallel programming"
  - "programming"
  - "systematic-approach"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/OlderogA88"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "10"
  number: "3"
  pages: "420-455"
  kind: "article"
  key: "OlderogA88"
- title: "A Comparative Study of Arithmetic Constraints on Integer Intervals"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Peter Zoeteweij"
    link: "https://researchr.org/alias/peter-zoeteweij"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3010&spage=1"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3010&spage=1"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/AptZ03"
  cites: 0
  citedby: 0
  pages: "1-24"
  booktitle: "csclp"
  kind: "inproceedings"
  key: "AptZ03"
- title: "Reasoning About Prolog Programs: From Modes Through Types to Assertions"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Elena Marchiori"
    link: "https://researchr.org/alias/elena-marchiori"
  year: "1994"
  tags:
  - "Prolog"
  researchr: "https://researchr.org/publication/AptM94"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "6"
  number: "6A"
  pages: "743-765"
  kind: "article"
  key: "AptM94"
- title: "Welfare Undominated Groves Mechanisms"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Vincent Conitzer"
    link: "https://researchr.org/alias/vincent-conitzer"
  - name: "Mingyu Guo"
    link: "https://researchr.org/alias/mingyu-guo"
  - name: "Evangelos Markakis"
    link: "https://researchr.org/alias/evangelos-markakis"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-92185-1_48"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-92185-1_48"
  researchr: "https://researchr.org/publication/AptCGM08"
  cites: 0
  citedby: 0
  pages: "426-437"
  booktitle: "wine"
  kind: "inproceedings"
  key: "AptCGM08"
- title: "Proof Rules and Transformations Dealing with Fairness"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Ernst-Rüdiger Olderog"
    link: "https://researchr.org/alias/ernst-r%C3%BCdiger-olderog"
  year: "1983"
  tags:
  - "rule-based"
  - "rules"
  - "transformation"
  researchr: "https://researchr.org/publication/AptO83"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "3"
  number: "1"
  pages: "65-100"
  kind: "article"
  key: "AptO83"
- title: "On the Safe Termination of PROLOG Programs"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1989"
  tags:
  - "Prolog"
  - "termination"
  researchr: "https://researchr.org/publication/AptBK89"
  cites: 0
  citedby: 0
  pages: "353-368"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "AptBK89"
- title: "Infinite Qualitative Simulations by Means of Constraint Programming"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Sebastian Brand"
    link: "https://researchr.org/alias/sebastian-brand"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11889205_5"
  links:
    doi: "http://dx.doi.org/10.1007/11889205_5"
  tags:
  - "constraints"
  - "programming"
  researchr: "https://researchr.org/publication/AptB06"
  cites: 0
  citedby: 0
  pages: "29-43"
  booktitle: "cp"
  kind: "inproceedings"
  key: "AptB06"
- title: "New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers"
  year: "2000"
  researchr: "https://researchr.org/publication/compulog%3A1999"
  cites: 0
  citedby: 0
  booktitle: "New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers"
  conference: "compulog"
  editor:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Antonis C. Kakas"
    link: "https://researchr.org/alias/antonis-c.-kakas"
  - name: "Eric Monfroy"
    link: "https://researchr.org/alias/eric-monfroy"
  - name: "Francesca Rossi"
    link: "https://researchr.org/alias/francesca-rossi"
  volume: "1865"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67885-9"
  kind: "proceedings"
  key: "compulog:1999"
- title: "Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers"
  year: "2004"
  tags:
  - "constraints"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/csclp%3A2003"
  cites: 0
  citedby: 0
  booktitle: "Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers"
  conference: "csclp"
  editor:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "François Fages"
    link: "https://researchr.org/alias/fran%C3%A7ois-fages"
  - name: "Francesca Rossi"
    link: "https://researchr.org/alias/francesca-rossi"
  - name: "Péter Szeredi"
    link: "https://researchr.org/alias/p%C3%A9ter-szeredi"
  - name: "József Váncza"
    link: "https://researchr.org/alias/j%C3%B3zsef-v%C3%A1ncza"
  volume: "3010"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21834-3"
  kind: "proceedings"
  key: "csclp:2003"