Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation | Publicación