@book{Bar03,
      author    = {Chitta Baral},
      title     = {Knowledge Representation, Reasoning and Declarative Problem Solving},
      publisher = {CAMBRIDGE University Press},
      address   = {The Edinburgh Building, Cambridge CB2 2RU, UK},
      year      = 2003,
      note      = {ISBN 0 521 81802 8 }}
@book{Schei92,
      author    = {Harald Scheid},
      title     = {Wahrscheinlichkeitsrechnung},
      publisher = {Bibliographisches Institut \& F.A. Brockhaus AG},
      address   = {Mannheim},
      year      = 1992,
      note      = {ISBN 3-411-15841-7}}
@book{Grei96,
      author    = {Michael Greiner, Gottfried Tinhofer},
      title     = {Stochastik für Studienanfänger der Informatik},
      publisher = {Carl Hanser Verlag München Wien},
      year      = 1996,
      note      = {ISBN 3-446-18636-0}}
@book{Irl01,
      author    = {Alnrecht Irle},
      title     = {Wahrscheinlichkeitstheorie und Statistik, Grundlagen-Resultate-Anwendungen},
      publisher = {B.G. Teubner GmbH},
      address   = {Stuttgart/Leipzig/Wiesbaden},
      year      = 2001,
      note      = {ISBN 3-519-02395-4}}
@book{Gibbs1988,
      author    = {Hans-Otto Georgii},
      title     = {Gibbs Measures and Phase Transition},
      publisher = {de Gruyter},
      address   = {Berlin; New York},
      year      = 1988,
      note      = {ISBN 0-89925-462-4}}

@article{mitchell96some,
    author = {David G. Mitchell and Hector J. Levesque},
    title = {Some Pitfalls for Experimenters with Random {SAT}},
    journal = {Artificial Intelligence},
    volume = {81},
    number = {1-2},
    pages = {111-125},
    year = 1996,
    url = {citeseer.ist.psu.edu/mitchell96some.html} }

@article{franco83prob,
    author = {J. Franco and M. Paul},
    title = {Probailistic analysis of the Davis Putnam procedure for solving the satisfiability problem},
    journal = {Discrete Applied Math. },
    volume = {5},
    pages = {77-87},
    year = 1983
    }

@article{LifD04,
    author = {Selim T. Erdogan and Vladimir Lifschitz},
    title = {Definitions in answer set programming},
    journal = {Proc. Logic Programming and Nonmonotonic Reasoning 7},
    pages = {114-126},
    year = 2004,
 }
 
 
@incollection{cook97finding,
    author = {Stephen A. Cook and David G Mitchell},
    title = {Finding Hard Instances of the Satisfiability Problem: {A} Survey},
    booktitle = {Satisfiability Problem: Theory and Applications},
    volume = {35},
    publisher = {American Mathematical Society},
    editor = {Du and Gu and Pardalos},
    pages = {1-17},
    year = 1997,
    url = {citeseer.ist.psu.edu/cook97finding.html}}
    
@inproceedings{mitchell92hard,
    author = {David G. Mitchell and Bart Selman and Hector J. Levesque},
    title = {Hard and Easy Distributions for {SAT} Problems},
    booktitle = {Proceedings of the Tenth National Conference on Artificial Intelligence},
    publisher = {AAAI Press},
    address = {Menlo Park, California},
    editor = {Paul Rosenbloom and Peter Szolovits},
    pages = {459-465},
    year = 1992,
    url = {citeseer.ist.psu.edu/mitchell92hard.html}}
    
@article{vangelder91wellfounded,
    author = {Allen {van Gelder} and Kenneth Ross and John S. Schlipf},
    title = {The Well-Founded Semantics for General Logic Programs},
    journal = {Journal of the ACM},
    volume = {38},
    number = {3},
    pages = {620-650},
    year = 1991,
    url = {citeseer.ist.psu.edu/gelder91wellfounded.html}}
    
    
@inproceedings{BenNam2005,
	author = {E. Ben-Naim and P.L. Krapivsky},
	title = {Kinetic Theory of Random Graphs},
	    booktitle = {AIP Conference Proceedings 776},
    year = 2005,
    }

@misc{frank95phase,
  author = {J. Frank and C. Martel},
  title = {Phase transitions in the properties of random graphs},
  text = {Frank, J., \& Martel, C. (1995). Phase transitions in the properties of
    random graphs. In CP'95 Workshop: Studying and Solving Really Hard Problems,
    pp. 62--69.},
  year = 1995,
  url = {citeseer.ist.psu.edu/frank95phase.html}}

@article{franco97average,
    author = {John V. Franco and R. P. Swaminathan},
    title = {Average Case Results for Satisfiability Algorithms Under the Random-Clause-Width Model},
    journal = {Annals of Mathematics and Artificial Intelligence},
    volume = {20},
    number = {1-4},
    pages = {357-391},
    year = 1997,
    url = {citeseer.ist.psu.edu/franco95average.html}}

@article{Zhao2004ASSAT,
    author = {Fangzhen Lin and Yuting Zhao},
    title = {ASSAT: computing answer sets of a logic program by SAT solvers},
    journal = {Artificial Intelligence},
    volume = {157},
    pages = {115-137},
    year = 2004
 }

@article{Zhao2004O,
    author = {Fangzhen Lin and Xishun Zhao},
    title = {On Odd and Even Cycles in Normal Logic Programs.},
    journal = {AAAI 2004},
    pages = {80-85},
    year = 2004
 }  
 

@article{Zhao2003A,
    author = {Fangzhen Lin and Yuting Zhao},
    title = {Answer Set Programming Phase Transition: A Study on Randomly Generated Programs.},
    journal = {ICLP 2003},
    pages = {239-253},
    year = 2003
 } 

@book{Zhao2003,
      author    = {Yuting Zhao},
      title     = {Answer set programming : SAT based solver and phase transition},
		publisher = {Yuting Zhao},
      address   = {Hong Kong},
      year      =  2003
      }

@misc{Lee2004,
    author = {Joohyung Lee},
    title = {A Model-Theoretic Counterpart of Loop Formulas},
    address = {The University of Texas at Austin, Department of Computer Sciences},
    year = 2004
 }

@misc{Sim2000,
    author = {Patrik Simons},
    title = {A Model-Theoretic Counterpart of Loop Formulas},
    address = {The University of Texas at Austin, Department of Computer Sciences},
    year = 2004
 }

@inproceedings{kautz92planning,
    author = {Henry A. Kautz and Bart Selman},
    title = {Planning as Satisfiability},
    booktitle = {Proceedings of the Tenth European Conference on Artificial Intelligence ({ECAI}'92)},
    pages = {359--363},
    year = 1992,
    url = {citeseer.ist.psu.edu/kautz92planning.html} }

@book{buch1,
      author    = {Autoren},
      title     = {Titel},
      publisher = {Herausgeber},
      address   = {Straße, Ort},
      year      = 2004,
      note      = {ISBN , Webseite \url{http://...}}}
