Nakano and Takao Nishizeki, A linear-time algorithm to nd four independent spanning trees (1999)

by Kazuyuki Miura, Daishiro Takahashi, Shin-ichi
Venue:in Four-Connected Planar Graphs, Technical Report of IEICE