@InCollection{apt:johan99,
author="Krzysztof R. Apt",
title="A Logical Analysis of Boolean Constraints",
pages="/contribs/apt/",
crossref="
gerb:joha99
"
}