Loading paper
An excluded minor theorem for the Wagner graph plus an edge | Tomesphere