@techreport(smt-lib,
 author       = {Clark Barrett and Aaron Stump and Cesare Tinelli},
 year         = {2010},
 title        = {The SMT-LIB Standard: Version 2.0},
 type         = {Technical Report},
 institution  = {University of Iowa},
)
@inproceedings(popl12,
 author       = {Miko\l{}aj Boja\'nczyk and Laurent Braud and Bartek Klin and S\l{}awomir Lasota},
 year         = {2012},
 title        = {Towards nominal computation},
 booktitle    = {Procs. POPL 2012},
 pages        = {401--412},
 doi          = {10.1145/2103656.2103704},
)
@article(lmcs14,
 author       = {Miko\l{}aj Boja\'nczyk and Bartek Klin and S\l{}awomir Lasota},
 year         = {2014},
 title        = {Automata theory in nominal sets},
 journal      = {Log. Meth. Comp. Sci.},
 volume       = {10},
 doi          = {10.2168/LMCS-10(3:4)2014},
)
@inproceedings(z3,
 author       = {De Moura, Leonardo and Bj{\o}rner, Nikolaj},
 year         = {2008},
 title        = {Z3: An Efficient SMT Solver},
 booktitle    = {Procs. of TACAS'08},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3\_24},
)
@book(girard,
 author       = {Jean-Yves Girard and Paul Taylor and Yves Lafont},
 year         = {1989},
 title        = {Proofs and Types},
 publisher    = {Cambridge University Press},
)
@inproceedings(grohe-quest,
 author       = {Martin Grohe},
 year         = {2008},
 title        = {The quest for a logic capturing PTIME},
 booktitle    = {Procs. LICS'08},
 pages        = {267--271},
 doi          = {10.1109/LICS.2008.11},
)
@book(hodges,
 author       = {Wilfried Hodges},
 year         = {1993},
 title        = {Model theory},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511551574},
)
@article(univposet,
 author       = {Hubi\v{c}ka, Jan and Ne\v{s}et\v{r}il, Jaroslav},
 year         = {2005},
 title        = {Universal partial order represented by means of oriented trees and other simple graphs},
 journal      = {European Journal of Combinatorics},
 volume       = {26},
 pages        = {765--778},
 doi          = {10.1016/j.ejc.2004.01.008},
)
@inproceedings(KKOT15,
 author       = {Bartek Klin and Eryk Kopczy\'nski and Joanna Ochremiak and Szymon Toru\'nczyk},
 year         = {2015},
 title        = {Locally Finite Constraint Satisfaction Problems},
 booktitle    = {Procs. LICS 2015},
 pages        = {475--486},
 doi          = {10.1109/LICS.2015.51},
)
@unpublished(lois,
 author       = {Eryk Kopczy\'nski and Szymon Toru\'nczyk},
 title        = {Looping over infinite sets},
 note         = {To appear},
)
@article(loos-weispfenning,
 author       = {R\"udiger Loos and Volker Weispfenning},
 year         = {1993},
 title        = {Applying Linear Quantifier Elimination},
 journal      = {The Computer Journal},
 volume       = {36},
 number       = {5},
 pages        = {450--462},
 doi          = {10.1093/comjnl/36.5.450},
)
@incollection(nipkow,
 author       = {Tobias Nipkow},
 year         = {2008},
 title        = {Linear Quantifier Elimination},
 editor       = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
 booktitle    = {Automated Reasoning},
 series       = {Lecture Notes in Computer Science},
 volume       = {5195},
 publisher    = {Springer},
 pages        = {18--33},
 doi          = {10.1007/978-3-540-71070-7\_3},
)
@misc(nlambda,
 title        = {N$\lambda$},
 note         = {Available from \url{http://www.mimuw.edu.pl/~szynwelski/nlambda/}},
)
@phdthesis(asia-thesis,
 author       = {Joanna Ochremiak},
 year         = {2016},
 title        = {Extended constraint satisfaction problems},
 school       = {University of Warsaw},
)
@book(pitts-book,
 author       = {Andrew M. Pitts},
 year         = {2013},
 title        = {Nominal Sets: Names and Symmetry in Computer Science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139084673},
)
@book(cp,
 editor       = {F. Rossi and P. van Beek and T. Walsh},
 year         = {2006},
 title        = {Handbook of Constraint Programming},
 publisher    = {Elsevier},
)
@book(setl,
 author       = {J. T. Schwartz and R. B. Dewar and E. Schonberg and E. Dubinsky},
 year         = {1986},
 title        = {Programming with Sets; an Introduction to {SETL}},
 publisher    = {Springer-Verlag},
)
@article(freshML,
 author       = {Mark R. Shinwell},
 year         = {2006},
 title        = {Fresh {O'Caml}: Nominal Abstract Syntax for the Masses},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {148},
 number       = {2},
 pages        = {53--77},
 doi          = {10.1016/j.entcs.2005.11.040},
)
@article(takahashi,
 author       = {M. Takahashi},
 year         = {1995},
 title        = {Parallel reductions in $\lambda$-calculus},
 journal      = {Information and Computation},
 volume       = {118},
 number       = {1},
 pages        = {120 -- 127},
 doi          = {10.1006/inco.1995.1057},
)