Exact universality from any entangling gate without inverses
  This note proves that arbitrary local gates together with any entangling bipartite gate V are universal. Previously this was known only when access to both V and V^{-1} was given, or when approximate universality was demanded. 
Aram W. Harrow