@InCollection{MPG:M:6.2.0,
   Author =    "Christian Schulte and Guido Tack and Mikael Z. Lagerkvist",
   Title =     "Modeling",
   Editor =    "Christian Schulte and Guido Tack and Mikael Z. Lagerkvist",
   Booktitle = "Modeling and Programming with Gecode",
   Year =      2019,
   Note =      "Corresponds to Gecode 6.2.0",
}
@InCollection{MPG:C:6.2.0,
   Author =    "Christian Schulte and Guido Tack and Mikael Z. Lagerkvist",
   Title =     "Case studies",
   Editor =    "Christian Schulte and Guido Tack and Mikael Z. Lagerkvist",
   Booktitle = "Modeling and Programming with Gecode",
   Year =      2019,
   Note =      "Corresponds to Gecode 6.2.0",
}
@InCollection{MPG:P:6.2.0,
   Author =    "Christian Schulte and Guido Tack",
   Title =     "Programming propagators",
   Editor =    "Christian Schulte and Guido Tack and Mikael Z. Lagerkvist",
   Booktitle = "Modeling and Programming with Gecode",
   Year =      2019,
   Note =      "Corresponds to Gecode 6.2.0",
}
@InCollection{MPG:B:6.2.0,
   Author =    "Christian Schulte",
   Title =     "Programming branchers",
   Editor =    "Christian Schulte and Guido Tack and Mikael Z. Lagerkvist",
   Booktitle = "Modeling and Programming with Gecode",
   Year =      2019,
   Note =      "Corresponds to Gecode 6.2.0",
}
@InCollection{MPG:V:6.2.0,
   Author =    "Christian Schulte",
   Title =     "Programming variables",
   Editor =    "Christian Schulte and Guido Tack and Mikael Z. Lagerkvist",
   Booktitle = "Modeling and Programming with Gecode",
   Year =      2019,
   Note =      "Corresponds to Gecode 6.2.0",
}
@InCollection{MPG:S:6.2.0,
   Author =    "Christian Schulte",
   Title =     "Programming search engines",
   Editor =    "Christian Schulte and Guido Tack and Mikael Z. Lagerkvist",
   Booktitle = "Modeling and Programming with Gecode",
   Year =      2019,
   Note =      "Corresponds to Gecode 6.2.0",
}