Alternating time bounds from variants of focussed proof systems