Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique (Logical Methods in Computer Science, 2008)