@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 = {Hong Kong University},
      address   = {Hong Kong},
      year      =  2003
      }

@InProceedings{Lee2004,
   author =      {Joohyung Lee},
   title =       {A Model-Theoretic Counterpart of Loop Formulas},
   booktitle =   {Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05)},
   year =        2005,
   note =        {To appear.}
}


@misc{Sim00smod,
      author    = {Patrik Simons},
      title     = {Extending and Implementing the Stable Model Semantics.},
      publisher = {Helsinki University of Technology, Helsinki, Finland},
      year      = 2000,
      note      = {Doctoral dissertation. Research Report 58}
      }

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

     
@InProceedings{gellif88b,
   author =      {M. Gelfond and V. Lifschitz},
   title =       {The Stable Model Semantics for Logic Programming},
   booktitle =   {Proceedings of the International Conference on Logic Programming},
   year =        1988,
   pages =       {1070-1080},
   publisher =   {The MIT Press}
}

@InCollection{lifschitz96a,
   author =      {V. Lifschitz},
   title =       {Foundations of logic programming},
   booktitle =   {Principles of Knowledge Representation},
   pages =       {69-127},
   publisher =   {CSLI Publications},
   year =        1996,
   editor =      {G. Brewka}
}

@InProceedings{cook71complexity,
   author =       {S. Cook},
   title =        {The Complexity of Theorem-Proving Procedures},
   booktitle =    {Proceedings of the ACM Symposium on the Theory of Computing},
   publisher =    {ACM Press},
   pages =        {151-158},
   year =         1971
}


@InProceedings{Tor05Nom,
   author =      {C. Anger and M. Gebser and T. Linke and A. Neumann and T. Schaub},
   title =       {The \texttt{nomore++} approach to answer set solving},
   booktitle =   {Proceedings of the Twelfth International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'05)},
   editor =      {G. Sutcliffe and A. Voronkov},
   series =      {Lecture Notes in Artificial Intelligence},
   volume =      3835,
   publisher =   {Springer-Verlag},
   year =        2005,
   note =        {To appear.}
}

@article{DP60,
    author = {M. Davis and H. Putnam},
    title = {A computing procedure for quantivication theory.},
    journal = {Jornal of the ACM},
    volume = {7},
    pages = {201-215},
    year = 1960
 }

@article{DLL62,
    author = {M. Davis and G. Logemann and D. Loveland},
    title = {A machine program for theorem-proving.},
    journal = {Communications of the ACM},
    volume = {5},
    pages = {394-397},
    year = 1962
 }
@article{ crawford96experimental,
    author = {James M. Crawford and Larry D. Auton},
    title = {Experimental Results on the Crossover Point in Random 3-{SAT}},
    journal = {Artificial Intelligence},
    volume = {81},
    number = {1-2},
    pages = {31-57},
    year = 1996,
    url = {citeseer.ist.psu.edu/crawford96experimental.html} }

@Article{dowgal84,
   author =      {W. Dowling and J. Gallier},
   title =       {Linear-time algorithms for testing the satisfiability of propositional horn formulae},
   journal =     {Journal of Logic Programming},
   year =        {1984},
   volume =      {1},
   pages =       {267-284}
}

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