A lower bound for the irredundance number of trees. - Michael Poschen; Lutz Volkmann (Discuss. Math. Graph Theory, 2006)