@conferenceObjectPart{NiehrenVillaret_2003,
title={Describing lambda terms in context unification},
author={Niehren, Joachim and Villaret, Mateu},
doi={http://dx.doi.org/10.22028/D291-25762},
year={2003}
}