Acyclic resolution