Hamiltonian Circuits, Hamiltonian Paths and Branching Graphs of Benzenoid Systems - Hansen, Pierre; Zheng, Maolin (Groupe d’études et de recherche en analyse des décisions, 1993)