Enumeration of Forests in a Graph
C. J. Liu, Yutze Chow · Proceedings of the American Mathematical Society · 1981
The enumeration of forests of different orders in a graph is carried out by a procedure that involves formal sums and certain annihilation operators on the space of such sums. The results here extend the well-known matrix-tree theorem to the general case of forests.