Atmospheric leptons - the search for a prompt componentThomas K. GaisserEPJ Web of Conferences, 52 (2013) 09004DOI: https://doi.org/10.1051/epjconf/20125209004