@conferenceObjectPart{BodirskyErkKollerNiehren_2001,
title={Beta reduction constraints},
author={Bodirsky, Manuel and Erk, Katrin and Koller, Alexander and Niehren, Joachim},
doi={http://dx.doi.org/10.22028/D291-25779},
year={2001}
}