@workingPaper{NiehrenPodelskiTreinen_1993,
title={Equational and membership constraints for infinite trees},
author={Niehren, Joachim and Podelski, Andreas and Treinen, Ralf},
doi={http://dx.doi.org/10.22028/D291-24871},
year={1993}
}