Using Static Analysis to Compile Non-sequential Functional Logic Programs? | Publicación