O
[ON80] Hiroakira Ono et Akira Nakamura. On the Size of Refutation Kripke Models for Some Linear Modal and Tense Logics. Studia Logica 39(4):325-333. Kluwer Academic, 1980. 
@article{studlog39(4)-ON,
  author =              {Ono, Hiroakira and Nakamura, Akira},
  title =               {On the Size of Refutation Kripke Models for Some
                         Linear Modal and Tense Logics},
  publisher =           {Kluwer Academic},
  journal =             {Studia Logica},
  volume =              {39},
  number =              {4},
  pages =               {325-333},
  year =                {1980},
}
Liste des auteurs