@article{compref280,
   author = {Robinson,TT},
   year = {1968},
   title = {Independance of Two Nice Sets of Axioms for the Propositional Calculus},
   journal = {Journal for Symbolic Logic},
   volume = {33},
   pages = {265-270}
}