An Algorithm for Counting Spanning Trees in Labeled Molecular Graphs Homeomorphic to Cata-Condensed Systems. - P. E. John; Roger B. Mallion; Ivan Gutman (J. Chem. Inf. Comput. Sci., 1998)