@article(BerteleB73,
 author       = "Umberto Bertel{\`{e}} and Francesco Brioschi",
 year         = "1973",
 title        = "On Non-serial Dynamic Programming",
 journal      = "J. Comb. Theory, Ser. {A}",
 volume       = "14",
 number       = "2",
 pages        = "137--148",
 doi          = "10.1016/0097-3165(73)90016-2",
)
@article(BistarelliMR97,
 author       = "Stefano Bistarelli and Ugo Montanari and Francesca Rossi",
 year         = "1997",
 title        = "Semiring-based constraint satisfaction and optimization",
 journal      = "J. {ACM}",
 volume       = "44",
 number       = "2",
 pages        = "201--236",
 doi          = "10.1145/256303.256306",
)
@article(BistarelliR01,
 author       = "Stefano Bistarelli and Ugo Montanari and Francesca Rossi",
 year         = "2001",
 title        = "Semiring-based contstraint logic programming: syntax and semantics",
 journal      = "{ACM} Trans. Program. Lang. Syst.",
 volume       = "23",
 number       = "1",
 pages        = "1--29",
 doi          = "10.1145/383721.383725",
)
@article(BistarelliMR02,
 author       = "Stefano Bistarelli and Ugo Montanari and Francesca Rossi",
 year         = "2002",
 title        = "Soft Constraint Logic Programming and Generalized Shortest Path Problems",
 journal      = "J. Heuristics",
 volume       = "8",
 number       = "1",
 pages        = "25--41",
 doi          = "10.1023/A:1013609600697",
)
@article(BistarelliMR06,
 author       = "Stefano Bistarelli and Ugo Montanari and Francesca Rossi",
 year         = "2006",
 title        = "Soft concurrent constraint programming",
 journal      = "{ACM} Trans. Comput. Log.",
 volume       = "7",
 number       = "3",
 pages        = "563--589",
 doi          = "10.1145/1149114.1149118",
)
@article(BlumeBFK13,
 author       = "Christoph Blume and H. J. Sander Bruggink and Martin Friedrich and Barbara K{\"{o}}nig",
 year         = "2013",
 title        = "Treewidth, pathwidth and cospan decompositions with applications to graph-accepting tree automata",
 journal      = "J. Vis. Lang. Comput.",
 volume       = "24",
 number       = "3",
 pages        = "192--206",
 doi          = "10.1016/j.jvlc.2012.10.002",
)
@article(BodlaenderK08,
 author       = "Hans L. Bodlaender and Arie M. C. A. Koster",
 year         = "2008",
 title        = "Combinatorial Optimization on Graphs of Bounded Treewidth",
 journal      = "Comput. J.",
 volume       = "51",
 number       = "3",
 pages        = "255--269",
 doi          = "10.1093/comjnl/bxm037",
)
@inproceedings(BuresNGHKKMMPSWZ13,
 author       = "Tom{\'{a}}s Bures and Rocco {De Nicola} and Ilias Gerostathopoulos and Nicklas Hoch and Michal Kit and Nora Koch and Giacoma Valentina Monreale and Ugo Montanari and Rosario Pugliese and Nikola B. Serbedzija and Martin Wirsing and Franco Zambonelli",
 year         = "2013",
 title        = "A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase",
 booktitle    = "SASOW",
 pages        = "71--76",
 doi          = "10.1109/SASOW.2013.23",
)
@inproceedings(BuscemiM07,
 author       = "Maria Grazia Buscemi and Ugo Montanari",
 year         = "2007",
 title        = "CC-Pi: {A} Constraint-Based Language for Specifying Service Level Agreements",
 booktitle    = "ESOP",
 pages        = "18--32",
 doi          = "10.1007/978-3-540-71316-6{\_}3",
)
@article(CorradiniMR94,
 author       = "Andrea Corradini and Ugo Montanari and Francesca Rossi",
 year         = "1994",
 title        = "An Abstract Machine for Concurrent Modular Systems: {CHARM}",
 journal      = "Theor. Comput. Sci.",
 volume       = "122",
 number       = "1{\&}2",
 pages        = "165--200",
 doi          = "10.1016/0304-3975(94)90206-2",
)
@article(CourcelleM93,
 author       = "Bruno Courcelle and Mohamed Mosbah",
 year         = "1993",
 title        = "Monadic Second-Order Evaluations on Tree-Decomposable Graphs",
 journal      = "Theor. Comput. Sci.",
 volume       = "109",
 number       = "1{\&}2",
 pages        = "49--82",
 doi          = "10.1016/0304-3975(93)90064-Z",
)
@article(Dahlhaus02,
 author       = "Elias Dahlhaus",
 year         = "2002",
 title        = "Minimal elimination ordering for graphs of bounded degree",
 journal      = "Discrete Applied Mathematics",
 volume       = "116",
 number       = "1-2",
 pages        = "127--143",
 doi          = "10.1016/S0166-218X(00)00331-0",
)
@article(Dechter99,
 author       = "Rina Dechter",
 year         = "1999",
 title        = "Bucket Elimination: {A} Unifying Framework for Reasoning",
 journal      = "Artif. Intell.",
 volume       = "113",
 number       = "1-2",
 pages        = "41--85",
 doi          = "10.1016/S0004-3702(99)00059-4",
)
@article(GadducciMM06,
 author       = "Fabio Gadducci and Marino Miculan and Ugo Montanari",
 year         = "2006",
 title        = "About permutation algebras, (pre)sheaves and named sets",
 journal      = "Higher-Order and Symbolic Computation",
 volume       = "19",
 number       = "2-3",
 pages        = "283--304",
 doi          = "10.1007/s10990-006-8749-3",
)
@inproceedings(HochZWS12,
 author       = "Nicklas Hoch and Kevin Zemmer and Bernd Werther and Roland Siegwart",
 year         = "2012",
 title        = "Electric vehicle travel optimization-customer satisfaction despite resource constraints",
 booktitle    = "IEEE IVS",
 pages        = "172--177",
 doi          = "10.1109/IVS.2012.6232240",
)
@book(Kloks94,
 author       = "Ton Kloks",
 year         = "1994",
 title        = "Treewidth, Computations and Approximations",
 series       = "Lecture Notes in Computer Science",
 volume       = "842",
 publisher    = "Springer",
 doi          = "10.1007/BFb0045375",
)
@book(KohlasP11,
 author       = "J{\"u}rg Kohlas and Marc Pouly",
 year         = "2011",
 title        = "Generic Inference: A Unifying Theory for Automated Reasoning",
 publisher    = "John Wiley {\&} Sons, Inc.",
 doi          = "10.1002/9781118010877.ch2",
)
@article(MartelliM72,
 author       = "Alberto Martelli and Ugo Montanari",
 year         = "1972",
 title        = "Nonserial Dynamic Programming: On the Optimal Strategy of Variable Elimination for the Rectangular Lattice",
 journal      = "J. Math. Anal. Appl.",
 volume       = "40",
 pages        = "226--242",
 doi          = "10.1016/0022-247X(72)90046-7",
)
@inproceedings(Montanari71,
 author       = "Ugo Montanari",
 year         = "1971",
 title        = "On the Optimal Approximation of Discrete Functions with Low-dimensional Tables",
 booktitle    = "IFIP Congress (2)",
 pages        = "1363--1368",
)
@article(MontanariR91,
 author       = "Ugo Montanari and Francesca Rossi",
 year         = "1991",
 title        = "Constraint Relaxation may be Perfect",
 journal      = "Artif. Intell.",
 volume       = "48",
 number       = "2",
 pages        = "143--170",
 doi          = "10.1016/0004-3702(91)90059-S",
)
@book(nomsns,
 author       = "A. M. Pitts",
 year         = "2013",
 title        = "Nominal Sets: Names and Symmetry in Computer Science",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "57",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9781139084673",
)
@article(RobertsonS84,
 author       = "Neil Robertson and Paul D. Seymour",
 year         = "1984",
 title        = "Graph minors. {III.} Planar tree-width",
 journal      = "J. Comb. Theory, Ser. {B}",
 volume       = "36",
 number       = "1",
 pages        = "49--64",
 doi          = "10.1016/0095-8956(84)90013-3",
)
@article(Yannakakis81,
 author       = "Mihalis Yannakakis",
 year         = "1981",
 title        = "Computing the Minimum Fill-In is NP-Complete",
 journal      = "SIAM Journal on Algebraic Discrete Methods",
 volume       = "2",
 number       = "1",
 pages        = "77--79",
 doi          = "10.1137/0602010",
)