Heavy neutral leptons from kaons in effective field theory | Publicación