A Mechanized Translation from Higher-Order Logic to Set Theory | Publicación