@article{erdos_rado,
  title = {Intersection theorems for systems of sets},
  author = {Paul Erdős and Richard Rado},
  year = 1960,
  journal = {Journal of the London Mathematical Society},
  volume = 35,
  issue = 1,
  pages = {85--90},
  doi = {10.1112/jlms/s1-35.1.85},
}

@article{AlonB87,
  author    = {Noga Alon and
               Ravi B. Boppana},
  title     = {The monotone circuit complexity of {B}oolean functions},
  journal   = {Combinatorica},
  volume    = {7},
  number    = {1},
  pages     = {1--22},
  year      = {1987},
  doi       = {10.1007/BF02579196},
}

@unpublished{PNP,
  author = {Lev Gordeev},
  title = {On {P} Versus {NP}},
  note = {Avaible at \url{http://arxiv.org/abs/2005.00809v3}}
}

@book{P94,
  author    = {Christos H. Papadimitriou},
  title     = {Computational complexity},
  publisher = {Addison-Wesley},
  year      = {1994},
  isbn      = {978-0-201-53082-7},
}

@incollection{BS90,
  author    = {Ravi B. Boppana and
               Michael Sipser},
  editor    = {Jan van Leeuwen},
  title     = {The Complexity of Finite Functions},
  booktitle = {Handbook of Theoretical Computer Science, Volume {A:} Algorithms and
               Complexity},
  pages     = {757--804},
  publisher = {Elsevier and {MIT} Press},
  year      = {1990},
}
