Automatic Partial Inversion of Inductively Sequential Functions | Publicación