@(bauer12,
 author       = "Andrej Bauer and Matija Pretnar",
 year         = "2012",
 title        = "Programming with algebraic effects and handlers",
 url          = "http://math.andrej.com/2012/03/08/programming-with-algebraic-effects-and-handlers/",
)
@article(davis60,
 author       = "Martin Davis and George Logemann and Donald Loveland",
 year         = "1960",
 title        = "A machine program for theorem proving",
 journal      = "Communications of the ACM",
 volume       = "5",
 number       = "7",
 pages        = "394--397",
 doi          = "10.1145/368273.368557",
)
@(escardo07,
 author       = "Martin Escard\'o",
 year         = "2007",
 title        = "Seemingly impossible functional programs",
 url          = "http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/",
)
@article(escardo08,
 author       = "Martin Escard\'o",
 year         = "2008",
 title        = "Exhaustible sets in higher-type computation",
 journal      = "Logical methods in computer science",
 volume       = "4",
 number       = "3:3",
 pages        = "1--37",
 doi          = "10.2168/lmcs-4(3:3)2008",
)
@(escardo08b,
 author       = "Martin Escard\'o",
 year         = "2008",
 title        = "A Haskell monad for infinite search in finite time",
 url          = "http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/",
)
@article(escardo10a,
 author       = "Martin Escard\'o and Paulo Oliva",
 year         = "2010",
 title        = "Selection functions, bar recursion and backward induction",
 journal      = "Mathematical structures in computer science",
 volume       = "20",
 number       = "2",
 pages        = "127--168",
 doi          = "10.1017/S0960129509990351",
)
@article(escardo10d,
 author       = "Martin Escard\'o and Paulo Oliva",
 year         = "2010",
 title        = "What sequential games, the {T}ychonoff theorem and the double-negation shift have in common",
 journal      = "Proc. of 3rd ACM SIGPLAN Wksh. on Mathematically Structured Functional Programming",
 doi          = "10.1145/1863597.1863605",
)
@article(escardo11,
 author       = "Martin Escard\'o and Paulo Oliva",
 year         = "2011",
 title        = "Sequential games and optimal strategies",
 journal      = "Proc R Soc A",
 volume       = "467",
 pages        = "1519--1545",
 doi          = "10.1098/rspa.2010.0471",
)
@article(escardo12,
 author       = "Martin Escard\'o and Paulo Oliva",
 year         = "2012",
 title        = "Computing {N}ash equilibria of unbounded games",
 journal      = "Proceedings of the Turing centenary conference",
)
@article(hedges13,
 author       = "Jules Hedges",
 year         = "2013",
 title        = "A generalisation of {N}ash's theorem with higher-order functionals",
 journal      = "Proc R Soc A",
 volume       = "469",
 number       = "2154",
 doi          = "10.1098/rspa.2013.0041",
)
@incollection(silva08,
 author       = "Joao Marques-Silva and Ines Lynce and Sharad Malik",
 year         = "2008",
 title        = "Conflict-driven clause learning {SAT} solvers",
 editor       = "Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsch",
 booktitle    = "Handbook of satisfiability",
 chapter      = "4",
 publisher    = "IOS Press",
)