@article{compref658,
   author = {Burton,M and Dirkis,M},
   year = {1996},
   title = {Defining Legislative Complexity - A Case study: the tax law improvement porject},
   journal = {Univeristy of Tasmania Law Review},
   volume = {14},
   pages = {198-215}
}

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

@book{compref127,
   author = {Gell-Mann,M},
   year = {1994},
   title = {The Quark and the Jaguar - adventures in the simple and the complex},
   publisher = {Little, Brown and Co.},
   address = {London}
}

@article{compref640,
   author = {Banzhaf,W},
   year = {1994},
   title = {Self-Replicating Sequences of Binary Numbers:  The Build-up of Complexity},
   journal = {Complex Systems},
   volume = {8},
   pages = {215-225}
}

@article{compref624,
   author = {McShea,D},
   year = {1991},
   title = {Complexity and Evolution: what everybody knows},
   journal = {Biology and Philosophy},
   volume = {6(3)},
   pages = {303-3024}
}

@article{compref76,
   author = {Celluci,C},
   year = {1985},
   title = {Proof Theory and Complexity},
   journal = {Synthese},
   volume = {62},
   pages = {173-189}
}

@incollection{compref364,
   author = {Ziv,J},
   year = {1983},
   title = {Complexity and Coherence of Sequences},
   booktitle = {The Impact of Data Processing Techniques on Communications},
   editor = {Durand,H and di Lullo,M and Sinclair,C},
   publisher = {Nijhoff},
   address = {Dordrecht},
   pages = {23-33}
}

@article{compref154,
   author = {Hawrnack,J and Zygmunt,J},
   year = {1981},
   title = {On the Degree of Complexity of Sentential Logics},
   journal = {Studia Logica},
   volume = {4},
   pages = {142-153}
}

@article{compref135,
   author = {G”del,K},
   year = {1936},
   title = {On the length of proofs},
   journal = {Ergebnisse eines mathematischen Kolloquiums},
   volume = {7},
   pages = {23-24}
}