@InProceedings{Luk48,
    Author       = "{\L}ukasiewicz, J.",
    Year         = "1948",
    Title        = "{The Shortest Axiom of the Implicational Calculus of
                    Propositions}",
    BookTitle    = "{Proceedings of the Royal Irish Academy 52(3)}",
    Pages        = "25-33",
    Comment      = "TPTPRef"
}