@article{compref332,
   author = {Van Lambagen},
   year = {1989},
   title = {Algorithmic Information Theory},
   journal = {Journal for Symbolic Logic},
   volume = {54},
   pages = {1389-1400}
}

@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}
}