Efficient Program Transformers for Translating LCC to PDL | Publicación