@workingPaper{Fecht_1996,
title={Efficient and precise sharing domains for logic programs},
author={Fecht, Christian},
doi={http://dx.doi.org/10.22028/D291-25805},
year={1996}
}