Niehren, J., Podelski, A., & Treinen, R. (1993). Equational and membership constraints for infinite trees.
Chicago-Zitierstil (17. Ausg.)Niehren, Joachim, Andreas Podelski, und Ralf Treinen. Equational and Membership Constraints for Infinite Trees. Kaiserslautern, 1993.
MLA-Zitierstil (9. Ausg.)Niehren, Joachim, et al. Equational and Membership Constraints for Infinite Trees. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.