A Logic for Identifying the Trees of a Graph

[1]  C. W. King,et al.  Logic for applying topological methods to electric networks , 1958, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[2]  W. F. Tinney,et al.  A Digital Method for Obtaining a Loop Connection Matrix , 1960, Transactions of the American Institute of Electrical Engineers. Part III: Power Apparatus and Systems.