On the representation of parallel search in theorem proving