@TechReport{,
author = { Jens Schmidt },
title = { Construction Sequences and Certifying 3-Connectedness },
year = { 2009 },
month = { March },
number = { B 09-01 },
institution = { Freie Universit\"at Berlin, Germany },
note = { [pdf] },
}
