@article{compref638,
   author = {Ulrich,D},
   year = {1996},
   title = {The Shortest Possible Length of the Longest Implicational Axiom},
   journal = {Journal of Philosophical Logic},
   volume = {25},
   pages = {101-108}
}