@article(ClosureProperties,
 author       = {Siva Anantharaman and Paliath Narendran and Michael Rusinowitch},
 year         = {2005},
 title        = {Closure properties and decision problems of dag automata},
 journal      = {Information Processing Letters},
 volume       = {94},
 number       = {5},
 pages        = {231--240},
 doi          = {10.1016/j.ipl.2005.02.004},
)
@article(AKZ,
 author       = {Arnon Avron and Beata Konikowska and Anna Zamansky},
 year         = {2013},
 title        = {{C}ut-free {S}equent {C}alculi for {C}-systems with {G}eneralized {F}inite-valued {S}emantics},
 journal      = {{J}ournal of {L}ogic and {C}omputation},
 volume       = {23},
 number       = {3},
 pages        = {517--540},
 doi          = {10.1093/logcom/exs039},
)
@article(Avron0,
 author       = {Arnon Avron and Iddo Lev},
 year         = {2005},
 title        = {Non-deterministic multiple-valued structures},
 journal      = {Journal of Logic and Computation},
 volume       = {15},
 number       = {3},
 pages        = {241--261},
 doi          = {10.1093/logcom/exi001},
)
@incollection(Avron1,
 author       = {Arnon Avron and Anna Zamansky},
 year         = {2011},
 title        = {Non-deterministic semantics for logical systems},
 editor       = {Dov M. Gabbay and Franz Guenthner},
 booktitle    = {Handbook of Philosophical Logic},
 volume       = {16},
 publisher    = {Springer},
 pages        = {227--304},
 doi          = {10.1007/978-94-007-0479-4\_4},
)
@article(AvronZohar,
 author       = {Arnon Avron and Yoni Zohar},
 year         = {2019},
 title        = {Rexpansions of non-deterministic matrices and their applications},
 journal      = {The Review of Symbolic Logic},
 volume       = {12},
 number       = {1},
 pages        = {173--200},
 doi          = {10.1017/S1755020318000321},
)
@article(infect,
 author       = {Stefano Bonzio and Tommaso Moraschini and Michele Pra Baldi},
 year         = {2020},
 title        = {Logics of left variable inclusion and {P}{\l}onka sums of matrices},
 journal      = {{A}rchive for {M}athematical {L}ogic},
 volume       = {60},
 pages        = {49--76},
 doi          = {10.1007/s00153-020-00727-6},
)
@incollection(wollic19,
 author       = {Carlos Caleiro and S{\'e}rgio Marcelino},
 year         = {2019},
 title        = {Analytic calculi for monadic {PN}matrices},
 editor       = {Rosalie Iemhoff and Michael Moortgat and Ruy de Queiroz},
 booktitle    = {{L}ogic, {L}anguage, {I}nformation, and {C}omputation ({W}o{L}{L}{I}{C} 2019)},
 series       = {LNCS},
 volume       = {11541},
 publisher    = {Springer-Verlag},
 pages        = {84--98},
 doi          = {10.1007/978-3-662-59533-6\_6},
)
@inproceedings(ismvl,
 author       = {Carlos Caleiro and S{\'e}rgio Marcelino and Pedro Filipe},
 year         = {2020},
 title        = {Infectious semantics and analytic calculi for even more inclusion logics},
 booktitle    = {2020 {IEEE} 50th {I}nternational {S}ymposium on {M}ultiple-{V}alued {L}ogic},
 pages        = {224--229},
 doi          = {10.1109/ISMVL49045.2020.000-1},
)
@article(CCALJM,
 author       = {Carlos Caleiro and Jo{\~{a}}o Marcos and Marco Volpe},
 year         = {2015},
 title        = {Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics},
 journal      = {{T}heoretical {C}omputer {S}cience},
 volume       = {603},
 pages        = {84--110},
 doi          = {10.1016/j.tcs.2015.07.016},
)
@techreport(AutomataOnDAGRepresentationsOfFiniteTrees,
 author       = {Witold Charatonik},
 year         = {1999},
 title        = {{A}utomata on {DAG} {R}epresentations of {F}inite {T}rees},
 type         = {Technical Report},
 number       = {MPI-I-1999-2-001},
 institution  = {{M}ax-{P}lanck-{I}nstitut f{\"u}r {I}nformatik},
 address      = {Saarbr{\"u}cken, Germany},
)
@book(AlgLogBook,
 author       = {Josep Font},
 year         = {2016},
 title        = {{A}bstract {A}lgebraic {L}ogic},
 series       = {{M}athematical {L}ogic and {F}oundations},
 volume       = {60},
 publisher    = {{C}ollege {P}ublications},
)
@book(Lau,
 author       = {Dietlinde Lau},
 year         = {2006},
 title        = {Function Algebras on Finite Sets, A Basic Course on Many-Valued Logic and Clone Theory},
 series       = {Springer Monographs in Mathematics},
 publisher    = {Springer},
 doi          = {10.1007/3-540-36023-9},
)
@incollection(wollic17,
 author       = {S{\'e}rgio Marcelino and Carlos Caleiro},
 year         = {2017},
 title        = {Disjoint fibring of non-deterministic matrices},
 editor       = {Juliette Kennedy and Ruy J.G.B. de Queiroz},
 booktitle    = {{L}ogic, {L}anguage, {I}nformation, and {C}omputation ({W}o{L}{L}{I}{C} 2017)},
 series       = {LNCS},
 volume       = {10388},
 publisher    = {Springer-Verlag},
 pages        = {242--255},
 doi          = {10.1007/978-3-662-55386-2\_17},
)
@article(synthese,
 author       = {S{\'e}rgio Marcelino and Carlos Caleiro},
 year         = {2019},
 title        = {Axiomatizing non-deterministic many-valued generalized consequence relations},
 journal      = {Synthese},
 volume       = {198},
 pages        = {5373--5390},
 doi          = {10.1007/s11229-019-02142-8},
)
@book(minsky,
 author       = {Marvin Minsky},
 year         = {1967},
 title        = {{C}omputation: {F}inite and {I}nfinite {M}achines},
 publisher    = {{P}rentice-{H}all},
)
@book(SS,
 author       = {David John Shoesmith and Timothy Smiley},
 year         = {1978},
 title        = {Multiple-conclusion logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511565687},
)
@book(WojBook,
 author       = {Ryszard W{\'o}jcicki},
 year         = {1988},
 title        = {Theory of Logical Calculi},
 series       = {Synthese Library},
 volume       = {199},
 publisher    = {Kluwer},
 doi          = {10.1007/978-94-015-6942-2},
)