Decompilation of Java bytecode to Prolog by partial evaluation | Publicación