Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.01",
%%%     date            = "02 May 2023",
%%%     time            = "08:47:44 MDT",
%%%     filename        = "fundinfo2020.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "36608 5443 19621 210870",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography; BibTeX; Fundamenta
%%%                        Informaticae",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a COMPLETE bibliography of the
%%%                        journal Fundamenta Informaticae (CODEN
%%%                        FUMAAJ, ISSN 0169-2968 (print), 1875-8681
%%%                        (electronic)) for the decade 2020--2029.
%%%                        Companion bibliographies with numeric
%%%                        suffixes cover other decades.
%%%
%%%                        The journal subject area is the mathematical
%%%                        foundations of computer science and their
%%%                        applications.
%%%
%%%                        Publication began with volume 1, number 1, in
%%%                        1977.  There are normally four issues per
%%%                        year, although issues are frequently combined
%%%                        in runs of 2, 3, or 4.
%%%
%%%                        The journal was originally published by
%%%                        Pa{\'n}stwowe Wydawnictwo Naukowe (Government
%%%                        Scientific Publisher), Warsaw, Poland from
%%%                        1977 to 1985, then from 1986 to 1989 by
%%%                        North-Holland, Amsterdam, and since 1991, by
%%%                        IOS Press.
%%%
%%%                        The journal has Web sites at
%%%
%%%                            http://content.iospress.com/journals/fundamenta-informaticae
%%%                            http://dl.acm.org/citation.cfm?id=J291
%%%
%%%                        At version 1.01, the COMPLETE year coverage
%%%                        looked like this:
%%%
%%%                             2020 ( 100)    2021 ( 107)    2022 (  42)
%%%
%%%                             Article:        249
%%%
%%%                             Total entries:  249
%%%
%%%                        Data for this bibliography have been largely
%%%                        derived from the publisher Web site, with
%%%                        additions from the BibNet Project and TeX
%%%                        User Group bibliography archives.
%%%
%%%                        Numerous errors in the publisher sources
%%%                        noted above have been corrected.  Spelling
%%%                        has been verified with the UNIX spell and GNU
%%%                        ispell programs using the exception
%%%                        dictionary stored in the companion file with
%%%                        extension .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen
%%%                        as name:year:abbrev, where name is the
%%%                        family name of the first author or editor,
%%%                        year is a 4-digit number, and abbrev is a
%%%                        3-letter condensation of important title
%%%                        words. Citation tags were automatically
%%%                        generated by software developed for the
%%%                        BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order within each journal,
%%%                        using bibsort -byvolume.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================
@Preamble{
    "\hyphenation{Na-ray-a-nan}" #
    "\ifx \undefined \booktitle \def \booktitle#1{{{\em #1}}} \fi" #
    "\ifx \undefined \k         \let \k = \c \fi" #
    "\ifx \undefined \mathbb    \def \mathbb #1{{\bf #1}}\fi"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:
@String{j-FUND-INFO             = "Fundamenta Informaticae"}

%%% ====================================================================
%%% Bibliography entries, sorted in publication order with
%%% `bibsort -byvol':
@Article{Brodo:2020:VTN,
  author =       "Linda Brodo and Carlos Olarte",
  title =        "Verification Techniques for a Network Algebra",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "1",
  pages =        "1--38",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1890",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:55 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Hittmeir:2020:DIF,
  author =       "Markus Hittmeir and Jacek Pomyka{\l}a",
  title =        "Deterministic Integer Factorization with Oracles for
                 {Euler}'s Totient Function",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "1",
  pages =        "39--51",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1891",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:55 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Paul:2020:SLL,
  author =       "Prithwineel Paul",
  title =        "On {Szilard} Languages of Labelled Insertion
                 Grammars",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "1",
  pages =        "53--72",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1892",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:55 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Polkowski:2020:CPM,
  author =       "Lech Polkowski",
  title =        "On the Compactness Property of Mereological Spaces",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "1",
  pages =        "73--95",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1893",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:55 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Raghu:2020:DNF,
  author =       "T. Venkata Raghu and R. Sundara Rajan and A. Ramesh
                 Babu and S. Anil",
  title =        "Detour Number of $1$-Fault Connected Graphs",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "1",
  pages =        "97--104",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1894",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:55 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Brunetti:2020:P,
  author =       "Sara Brunetti and Paolo Dulio and Andrea Frosini and
                 Grzegorz Rozenberg",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "2",
  pages =        "i--xi",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1895",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:57 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Beirinckx:2020:JML,
  author =       "Quinten Beirinckx and Gabriel Ramos-Llord{\'e}n and
                 Ben Jeurissen and Dirk H. J. Poot and Paul M. Parizel
                 and Marleen Verhoye and Jan Sijbers and Arnold J. den
                 Dekker",
  title =        "Joint Maximum Likelihood Estimation of Motion and {$
                 T_1 $} Parameters from Magnetic Resonance Images in a
                 Super-resolution Framework: a Simulation Study",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "2",
  pages =        "105--128",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1896",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:57 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Leko:2020:SIP,
  author =       "G{\'a}bor L{\'e}k{\'o} and P{\'e}ter Bal{\'a}zs",
  title =        "Scale Invariance in Projection Selection Using Binary
                 Tomography",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "2",
  pages =        "129--142",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1897",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:57 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Lagerwerf:2020:EIA,
  author =       "Marinus J. Lagerwerf and Willem Jan Palenstijn and
                 Folkert Bleichrodt and K. Joost Batenburg",
  title =        "An Efficient Interpolation Approach for Exploring the
                 Parameter Space of Regularized Tomography Algorithms",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "2",
  pages =        "143--167",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1898",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:57 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Menegaz:2020:CFB,
  author =       "Gloria Menegaz and Claudio Tomazzoli and Matteo
                 Cristani and Ilaria Boscolo Galazzo and Silvia
                 Francesca Storti",
  title =        "Characterising Functional Brain Connectivity as Social
                 Network: the Transtopic Centrality Index",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "2",
  pages =        "169--186",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1899",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:57 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Presotto:2020:MSR,
  author =       "Luca Presotto",
  title =        "A {$ L_1 $} Minimization Strategy for Robust Joint
                 Activity and Attenuation Estimation in Positron
                 Emission Tomography",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "2",
  pages =        "187--202",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1900",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:57 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Turpin:2020:PFA,
  author =       "L{\'e}onard Turpin and St{\'e}phane Roux and Olivier
                 Caty and S{\'e}bastien Denneulin",
  title =        "A Phase Field Approach to Limited-angle Tomographic
                 Reconstruction",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "2",
  pages =        "203--219",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1901",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:57 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Brunetti:2020:URG,
  author =       "Sara Brunetti and Paolo Dulio and Carla Peri",
  title =        "Uniqueness Results for Grey Scale Digital Images",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "2",
  pages =        "221--238",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1902",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:57 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Badica:2020:P,
  author =       "Costin Badica and Mirjana Ivanovic and Yannis
                 Manolopoulos and Riccardo Rosati and Paolo Torroni",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "3",
  pages =        "i--ii",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1903",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:59 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Zupanc:2020:IAE,
  author =       "Kaja Zupanc and Zoran Bosni{\'c}",
  title =        "Improvement of Automated Essay Grading by Grouping
                 Similar Graders",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "3",
  pages =        "239--259",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1904",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:59 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Flisar:2020:IST,
  author =       "Jernej Flisar and Vili Podgorelec",
  title =        "Improving Short Text Classification using Information
                 from {DBpedia} Ontology",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "3",
  pages =        "261--297",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1905",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:59 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Karampelas:2020:TSE,
  author =       "Andreas Karampelas and George A. Vouros",
  title =        "Time and Space Efficient Large Scale Link Discovery
                 using String Similarities",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "3",
  pages =        "299--325",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1906",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:51:59 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Bera:2020:CPM,
  author =       "Somnath Bera and Kalpana Mahalingam",
  title =        "On Commuting {Parikh} $q$-Matrices",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "4",
  pages =        "327--341",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1907",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:02 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kheirfam:2020:SOC,
  author =       "Behrouz Kheirfam",
  title =        "A Second-order Corrector Infeasible Interior-point
                 Method with One-norm wide Neighborhood for Symmetric
                 Optimization",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "4",
  pages =        "343--359",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1908",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:02 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Klopotek:2020:CMA,
  author =       "Mieczys{\l}aw A. K{\l}opotek",
  title =        "On the Consistency of $k$-means++ algorithm",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "4",
  pages =        "361--377",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1909",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:02 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Koczkodaj:2020:OPS,
  author =       "Waldemar W. Koczkodaj and Ryszard Smarzewski and Jacek
                 Szybowski",
  title =        "On Orthogonal Projections on the Space of Consistent
                 Pairwise Comparisons Matrices",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "4",
  pages =        "379--397",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1910",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:02 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Tzacheva:2020:ARL,
  author =       "Angelina A. Tzacheva and Ramya A. Shankar and
                 Sridharan Ramachandran and Arunkumar Bagavathi",
  title =        "Action Rules of Lowest Cost and Action Set
                 Correlations",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "4",
  pages =        "399--412",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1911",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:02 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Zheng:2020:MBR,
  author =       "Tingting Zheng",
  title =        "Morphisms in Binary Rough Set Theory",
  journal =      j-FUND-INFO,
  volume =       "172",
  number =       "4",
  pages =        "413--434",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1912",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:02 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kashiwabara:2020:HOR,
  author =       "Kenji Kashiwabara and Ikumi Horie and Kazunori
                 Yamaguchi",
  title =        "Higher-Order Rank Functions on Directed Graphs",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "1",
  pages =        "1--31",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1913",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:04 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Lin:2020:CCC,
  author =       "Cheng-Kuan Lin and Liang Ma and Jianxi Fan and
                 Lih-Hsing Hsu and Yuan-Hsiang Teng",
  title =        "The Conditional-$ (g, d, k)$-Connectivity and
                 Conditional-$ (g, d, k)$-edge-Connectivity on the
                 Hypercubes",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "1",
  pages =        "33--45",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1914",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:04 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Macyna:2020:FAS,
  author =       "Wojciech Macyna and Michal Kukowski",
  title =        "Flash-Aware Storage of the Column Oriented Databases",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "1",
  pages =        "47--72",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1915",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:04 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Tioura:2020:HPS,
  author =       "Abdelhamid Tioura and Hamouma Moumen and Hamoudi Kalla
                 and Ahmed Ait Saidi",
  title =        "A Hybrid Protocol to Solve Authenticated {Byzantine}
                 Consensus",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "1",
  pages =        "73--89",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1916",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:04 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/cryptography2020.bib;
                 http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kleijn:2020:P,
  author =       "Jetty Kleijn and Lauren{\c{t}}iu Leu{\c{s}}tean and
                 Dorel Lucanu",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "2--3",
  pages =        "i--ii",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1917",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:06 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Sofronie-Stokkermans:2020:PSV,
  author =       "Viorica Sofronie-Stokkermans",
  title =        "Parametric Systems: Verification and Synthesis",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "2--3",
  pages =        "91--138",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1918",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:06 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Paduraru:2020:AVO,
  author =       "Ciprian Ionut Paduraru and Gheorghe Stefanescu",
  title =        "Adaptive Virtual Organisms: A Compositional Model for
                 Complex Hardware-software Binding",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "2--3",
  pages =        "139--176",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1919",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:06 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Diaconescu:2020:MEB,
  author =       "Denisa Diaconescu",
  title =        "Modal Equivalence and Bisimilarity in Many-valued
                 Modal Logics with Many-valued Accessibility Relations",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "2--3",
  pages =        "177--189",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1920",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:06 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Leustean:2020:MSP,
  author =       "Ioana Leu{\c{s}}tean and Natalia Moang{\u{a}} and
                 Traian Florin {\c{S}}erb{\u{a}}nu{\c{t}}{\u{a}}",
  title =        "A Many-sorted Polyadic Modal Logic",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "2--3",
  pages =        "191--215",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1921",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:06 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Caltais:2020:CRS,
  author =       "Georgiana Caltais and Mohammad Reza Mousavi and
                 Hargurbir Singh",
  title =        "Causal Reasoning for Safety in {Hennessy} {Milner}
                 Logic",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "2--3",
  pages =        "217--251",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1922",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:06 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Fioravanti:2020:P,
  author =       "Fabio Fioravanti and John P. Gallagher and Maurizio
                 Proietti",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "4",
  pages =        "i--ii",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1923",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:09 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Fruhwirth:2020:JCH,
  author =       "Thom Fr{\"u}hwirth",
  title =        "Justifications in Constraint Handling Rules for
                 Logical Retraction in Dynamic Algorithms: Theory,
                 Implementations, and Complexity",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "4",
  pages =        "253--283",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1924",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:09 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Hanus:2020:CSD,
  author =       "Michael Hanus",
  title =        "Combining Static and Dynamic Contract Checking for
                 {Curry}",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "4",
  pages =        "285--314",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1925",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:09 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Skeirik:2020:CBR,
  author =       "Stephen Skeirik and Andrei Stefanescu and Jos{\'e}
                 Meseguer",
  title =        "A Constructor-Based Reachability Logic for Rewrite
                 Theories",
  journal =      j-FUND-INFO,
  volume =       "173",
  number =       "4",
  pages =        "315--382",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1926",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:09 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Ahmad:2020:CEI,
  author =       "Ali Ahmad and Muhammad Ahsan Asim and Basem Assiri and
                 Andrea
                 Semani{\v{c}}ov{\'a}-Fe{\v{n}}ov{\v{c}}{\'\i}kov{\'a}",
  title =        "Computing the Edge Irregularity Strength of Bipartite
                 Graphs and Wheel Related Graphs",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "1",
  pages =        "1--13",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1927",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:11 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Ciftci:2020:DTD,
  author =       "Canan {\c{C}}ift{\c{c}}i and Vecdi Ayta{\c{c}}",
  title =        "Disjunctive Total Domination Subdivision Number of
                 Graphs",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "1",
  pages =        "15--26",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1928",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:11 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Konishi:2020:FML,
  author =       "Tatsuya Konishi and Hideharu Kojima and Hiroyuki
                 Nakagawa and Tatsuhiro Tsuchiya",
  title =        "Finding Minimum Locating Arrays Using a {CSP} Solver",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "1",
  pages =        "27--42",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1929",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:11 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Turaci:2020:CML,
  author =       "Tufan Turac{\i}",
  title =        "On Combining the Methods of Link Residual and
                 Domination in Networks",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "1",
  pages =        "43--59",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1930",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:11 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Andrejczuk:2020:SIT,
  author =       "Ewa Andrejczuk and Juan M. Alberola and Leandro
                 Marcolino and Paolo Torroni",
  title =        "Special issue of Teams in Multiagent Systems
                 {(TEAMAS)}: Preface",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "1",
  pages =        "61--62",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1931",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:11 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Andres:2020:HAC,
  author =       "Ignasi Andr{\'e}s and Leliane Nunes de Barros and
                 Karina Valdivia Delgado",
  title =        "Human-aware Contingent Planning",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "1",
  pages =        "63--81",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1932",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:11 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Manya:2020:STC,
  author =       "Felip Many{\`a} and Santiago Negrete and Carme Roig
                 and Joan Ramon Soler",
  title =        "Solving the Team Composition Problem in a Classroom",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "1",
  pages =        "83--101",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1933",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:11 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Bong:2020:LFA,
  author =       "Novi Bong and Martin Ba{\v{c}}a and Andrea
                 Semani{\v{c}}ov{\'a}-Fe{\v{n}}ov{\v{c}}{\'\i}kov{\'a}
                 and Kiki A. Sugeng and Tao-Ming Wang",
  title =        "Local Face Antimagic Evaluations and Coloring of Plane
                 Graphs",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "2",
  pages =        "103--119",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1934",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:14 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kaniecki:2020:CAB,
  author =       "Mariusz Kaniecki and Justyna Kosakowska",
  title =        "Combinatorial Algorithms for Binary Operations on
                 {LR}-tableaux with Entries Equal to 1 with Applications
                 to Nilpotent Linear Operators",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "2",
  pages =        "121--136",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1935",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:14 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Keshavarzian:2020:BCB,
  author =       "Nazanin Keshavarzian and Arsham Borumand Saeid and
                 Abolfazl Tehranian",
  title =        "{BCK}-codes Based on a Parity Check Matrix",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "2",
  pages =        "137--165",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1936",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:14 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Lin:2020:MBF,
  author =       "Yidong Lin and Jinjin Li and Liangxue Peng and Ziqin
                 Feng",
  title =        "Minimal Base for Finite Topological Space by Matrix
                 Method",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "2",
  pages =        "167--183",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1937",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:14 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Djordjevic:2020:PML,
  author =       "Radosav Djordjevi{\'c} and Neboj{\v{s}}a
                 Ikodinovi{\'c} and Nenad Stojanovi{\'c}",
  title =        "A Propositional Metric Logic with Fixed Finite
                 Ranges",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "2",
  pages =        "185--199",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1938",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:14 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Eiter:2020:P,
  author =       "Thomas Eiter and Marco Maratea and Mauro Vallati",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "3--4",
  pages =        "i--iii",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1939",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:16 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Baioletti:2020:ECA,
  author =       "Marco Baioletti and Gabriele {Di Bari} and Alfredo
                 Milani and Valentino Santucci",
  title =        "An Experimental Comparison of Algebraic Crossover
                 Operators for Permutation Problems",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "3--4",
  pages =        "201--228",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1940",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:16 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Chen:2020:MPB,
  author =       "Qian Matteo Chen and Alberto Finzi and Toni Mancini
                 and Igor Melatti and Enrico Tronci",
  title =        "{MILP}, Pseudo-{Boolean}, and {OMT} Solvers for
                 Optimal Fault-Tolerant Placements of Relay Nodes in
                 Mission Critical Wireless Networks",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "3--4",
  pages =        "229--258",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1941",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:16 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Oddi:2020:AHB,
  author =       "Angelo Oddi and Riccardo Rasconi",
  title =        "Analyzing Heuristic-based Randomized Search Strategies
                 for the Quantum Circuit Compilation Problem",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "3--4",
  pages =        "259--281",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1942",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:16 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Sinisi:2020:OPT,
  author =       "Stefano Sinisi and Vadim Alimguzhin and Toni Mancini
                 and Enrico Tronci and Federico Mari and Brigitte
                 Leeners",
  title =        "Optimal Personalised Treatment Computation through In
                 Silico Clinical Trials on Patient Digital Twins",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "3--4",
  pages =        "283--310",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1943",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:16 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Wallace:2020:PNS,
  author =       "Richard J. Wallace",
  title =        "Partial (Neighbourhood) Singleton Arc Consistency for
                 Constraint Satisfaction Problems",
  journal =      j-FUND-INFO,
  volume =       "174",
  number =       "3--4",
  pages =        "311--344",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1944",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:16 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{terBeek:2020:P,
  author =       "Maurice ter Beek and Maciej Koutny and Grzegorz
                 Rozenberg",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "175",
  number =       "1--4",
  pages =        "v--viii",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1945",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:19 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{vanderAalst:2020:DOC,
  author =       "Wil M. P. van der Aalst and Alessandro Berti",
  title =        "Discovering Object-centric {Petri} Nets",
  journal =      j-FUND-INFO,
  volume =       "175",
  number =       "1--4",
  pages =        "1--40",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1946",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:19 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Alzamel:2020:CDS,
  author =       "Mai Alzamel and Lorraine A. K. Ayad and Giulia
                 Bernardini and Roberto Grossi and Costas S. Iliopoulos
                 and Nadia Pisanti and Solon P. Pissis and Giovanna
                 Rosone",
  title =        "Comparing Degenerate Strings",
  journal =      j-FUND-INFO,
  volume =       "175",
  number =       "1--4",
  pages =        "41--58",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1947",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:19 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Arcile:2020:DEM,
  author =       "Johan Arcile and Raymond Devillers and Hanna Klaudel",
  title =        "Dynamic Exploration of Multi-agent Systems with
                 Periodic Timed Tasks",
  journal =      j-FUND-INFO,
  volume =       "175",
  number =       "1--4",
  pages =        "59--95",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1948",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:19 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Best:2020:TOP,
  author =       "Eike Best and Raymond Devillers and Evgeny Erofeev and
                 Harro Wimmel",
  title =        "Target-oriented {Petri} Net Synthesis",
  journal =      j-FUND-INFO,
  volume =       "175",
  number =       "1--4",
  pages =        "97--122",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1949",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:19 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Carmona:2020:FPM,
  author =       "Josep Carmona and Llu{\'\i}s Padr{\'o} and Luis
                 Delicado",
  title =        "Flexible Process Model Mapping using Relaxation
                 Labeling",
  journal =      j-FUND-INFO,
  volume =       "175",
  number =       "1--4",
  pages =        "123--141",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1950",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:19 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Desel:2020:STP,
  author =       "J{\"o}rg Desel and Marc Finthammer",
  title =        "Stop-transitions of {Petri} Nets",
  journal =      j-FUND-INFO,
  volume =       "175",
  number =       "1--4",
  pages =        "143--172",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1951",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:19 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Frei:2020:RPR,
  author =       "Fabian Frei and Juraj Hromkovi{\v{c}} and Juhani
                 Karhum{\"a}ki",
  title =        "Roots and Powers in Regular Languages: Recognizing
                 Nonregular Properties by Finite Automata",
  journal =      j-FUND-INFO,
  volume =       "175",
  number =       "1--4",
  pages =        "173--185",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1952",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:19 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Genova:2020:CEM,
  author =       "Daniela Genova and Hendrik Jan Hoogeboom and
                 Nata{\v{s}}a Jonoska",
  title =        "Companions and an Essential Motion of a Reaction
                 System",
  journal =      j-FUND-INFO,
  volume =       "175",
  number =       "1--4",
  pages =        "187--199",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1953",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:19 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Halava:2020:SWL,
  author =       "Vesa Halava and Tero Harju and Esa Sahla",
  title =        "On Shuffling a Word with its Letter-to-Letter
                 Substitution",
  journal =      j-FUND-INFO,
  volume =       "175",
  number =       "1--4",
  pages =        "201--206",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1954",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:19 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Dangalchev:2020:ACN,
  author =       "Chavdar Dangalchev",
  title =        "Additional Closeness and Networks Growth",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "1",
  pages =        "1--15",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1960",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:21 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Jarvinen:2020:SMR,
  author =       "Jouni J{\"a}rvinen and S{\'a}ndor Radeleczki",
  title =        "The Structure of Multigranular Rough Sets",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "1",
  pages =        "17--41",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1961",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:21 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Liu:2020:SUN,
  author =       "Liucheng Liu and Wenmei Yi and Qian Yang and Hong Peng
                 and Jun Wang",
  title =        "Small Universal Numerical {P} Systems with Thresholds
                 for Computing Functions",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "1",
  pages =        "43--59",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1962",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:21 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Maschio:2020:TFC,
  author =       "Samuele Maschio and Giovanni Sambin",
  title =        "Topology as Faithful Communication Through Relations",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "1",
  pages =        "61--78",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1963",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:21 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Zhao:2020:SNO,
  author =       "Chenyue Zhao and Hosein Alizadeh and Behrouz Minaei
                 and Majid Mohamadpoor and Hamid Parvin and Mohammad
                 Reza Mahmoudi",
  title =        "Social Network Optimization for Cluster Ensemble
                 Selection",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "1",
  pages =        "79--102",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1964",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:21 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Cheng:2020:CNI,
  author =       "Baolei Cheng and Jianxi Fan and Qiang Lyu and
                 Cheng-Kuan Lin and Xiaoyan Li and Guo Chen",
  title =        "Constructing Node-Independent Spanning Trees in
                 Augmented Cubes",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "2",
  pages =        "103--128",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1965",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:24 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kopczynski:2020:ARG,
  author =       "Eryk Kopczy{\'n}ski",
  title =        "Axiomatizing Rectangular Grids with no Extra Non-unary
                 Relations",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "2",
  pages =        "129--138",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1966",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:24 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Ghosh:2020:P,
  author =       "Kuntal Ghosh and Sushmita Mitra",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "2",
  pages =        "139--140",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1967",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:24 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Dasgupta:2020:PRM,
  author =       "Abhijit Dasgupta and Losiana Nayak and Ritankar Das
                 and Debasis Basu and Preetam Chandra and Rajat K. De",
  title =        "Pattern and Rule Mining for Identifying Signatures of
                 Epileptic Patients from Clinical {EEG} Data",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "2",
  pages =        "141--166",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1968",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:24 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Przybyszewski:2020:CDD,
  author =       "Andrzej W. Przybyszewski and Artur Chudzik and
                 Stanislaw Szlufik and Piotr Habela and Dariusz M.
                 Koziorowski",
  title =        "Comparison of Different Data Mining Methods to
                 Determine Disease Progression in Dissimilar Groups of
                 {Parkinson}'s Patients",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "2",
  pages =        "167--181",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1969",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:24 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Chapaneri:2020:SGP,
  author =       "Santosh Chapaneri and Deepak Jayaswal",
  title =        "Structured {Gaussian} Process Regression of Music
                 Mood",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "2",
  pages =        "183--203",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1970",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:24 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Monica:2020:P,
  author =       "Dario {Della Monica} and Aniello Murano and Luigi
                 Sauro",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "3--4",
  pages =        "i--ii",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1971",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:26 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Su:2020:UAN,
  author =       "Ezgi Iraz Su",
  title =        "A Unifying Approach for Nonmonotonic {S4F},
                 (Reflexive) Autoepistemic Logic, and Answer Set
                 Programming",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "3--4",
  pages =        "205--234",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1972",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:26 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Giordano:2020:RAE,
  author =       "Laura Giordano and Valentina Gliozzi",
  title =        "Reasoning about Exceptions in Ontologies: from the
                 Lexicographic Closure to the Skeptical Closure",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "3--4",
  pages =        "235--269",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1973",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:26 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Alviano:2020:UCA,
  author =       "Mario Alviano and Carmine Dodaro",
  title =        "Unsatisfiable Core Analysis and Aggregates for Optimum
                 Stable Model Search",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "3--4",
  pages =        "271--297",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1974",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:26 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Tarzariol:2020:TLP,
  author =       "Alice Tarzariol and Eugenia Zanazzo and Agostino
                 Dovier and Alberto Policriti",
  title =        "Towards a Logic Programming Tool for Cancer Data
                 Analysis",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "3--4",
  pages =        "299--319",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1975",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:26 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Alberti:2020:DOC,
  author =       "Marco Alberti and Marco Gavanelli and Evelina Lamma
                 and Fabrizio Riguzzi and Ken Satoh and Riccardo Zese",
  title =        "Dischargeable Obligations in the {$ \cal S $CIFF}
                 Framework",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "3--4",
  pages =        "321--348",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1976",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:26 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Cantone:2020:STA,
  author =       "Domenico Cantone and Marianna Nicolosi-Asmundo and
                 Daniele Francesco Santamaria",
  title =        "A Set-theoretic Approach to Reasoning Services for the
                 Description Logic {$ \cal D L $D4,$ \times $}",
  journal =      j-FUND-INFO,
  volume =       "176",
  number =       "3--4",
  pages =        "349--384",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1977",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:26 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Borger:2020:BTR,
  author =       "Egon B{\"o}rger and Klaus-Dieter Schewe",
  title =        "A Behavioural Theory of Recursive Algorithms",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "1",
  pages =        "1--37",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1978",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:29 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Dowbor:2020:CCT,
  author =       "Piotr Dowbor and Yan Kim",
  title =        "Computational Classification of Tubular Algebras",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "1",
  pages =        "39--67",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1979",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:29 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Ghosal:2020:PPS,
  author =       "Purnata Ghosal and B. V. Raghavendra Rao",
  title =        "On Proving Parameterized Size Lower Bounds for
                 Multilinear Algebraic Models",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "1",
  pages =        "69--93",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1980",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:29 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Berghammer:2020:ECL,
  author =       "Rudolf Berghammer and Henning Schnoor and Michael
                 Winter",
  title =        "Efficient Computation of the Large Inductive Dimension
                 Using Order- and Graph-theoretic Means",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "2",
  pages =        "95--113",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1981",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:31 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Cho:2020:AGN,
  author =       "Gook Hwa Cho and Seongan Lim and Hyang-Sook Lee",
  title =        "Algorithms for the Generalized {NTRU} Equations and
                 their Storage Analysis",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "2",
  pages =        "115--139",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1982",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:31 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kheirfam:2020:NPC,
  author =       "Behrouz Kheirfam",
  title =        "A New Predictor-corrector Infeasible Interior-point
                 Algorithm for Linear Optimization in {aWide}
                 Neighborhood",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "2",
  pages =        "141--156",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1983",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:31 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Laue:2020:SET,
  author =       "S{\"o}ren Laue and Matthias Mitterreiter and Joachim
                 Giesen",
  title =        "A Simple and Efficient Tensor Calculus for Machine
                 Learning",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "2",
  pages =        "157--179",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1984",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:31 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Lin:2020:DFG,
  author =       "Cheng-Kuan Lin and Tzu-Liang Kung and Dajin Wang and
                 Yuan-Hsiang Teng",
  title =        "The Diagnosability of {($ K_4$--$e$)}-free Graphs
                 under the {PMC} Diagnosis Model",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "2",
  pages =        "181--188",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1985",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:31 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Qi:2020:CID,
  author =       "Bin Qi and Jie Ma and Kewei Lv",
  title =        "Computing Interval Discrete Logarithm Problem with
                 Restricted Jump Method",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "2",
  pages =        "189--201",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1986",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:31 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Hermenegildo:2020:P,
  author =       "Manuel Hermenegildo and Pedro L{\'o}pez-Garc{\'\i}a
                 and Alberto Pettorossi and Maurizio Proietti",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "3--4",
  pages =        "i--iii",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1987",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:33 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Albert:2020:FRC,
  author =       "Elvira Albert and Nikolaos Bezirgiannis and Frank de
                 Boer and Enrique Martin-Martin",
  title =        "A Formal, Resource Consumption-Preserving Translation
                 from Actors with Cooperative Scheduling to {Haskell}",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "3--4",
  pages =        "203--234",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1988",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:33 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Alpuente:2020:ACS,
  author =       "Mar{\'\i}a Alpuente and Daniel Pardo and Alicia
                 Villanueva",
  title =        "Abstract Contract Synthesis and Verification in the
                 Symbolic {$ \mathbb {K} $} Framework",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "3--4",
  pages =        "235--273",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1989",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:33 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Bichler:2020:LRO,
  author =       "Manuel Bichler and Michael Morak and Stefan Woltran",
  title =        "lpopt: A Rule Optimization Tool for Answer Set
                 Programming",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "3--4",
  pages =        "275--296",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1990",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:33 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Alpuente:2020:OSH,
  author =       "Mar{\'\i}a Alpuente and Angel Cuenca-Ortega and
                 Santiago Escobar and Jos{\'e} Meseguer",
  title =        "Order-sorted Homeomorphic Embedding Modulo
                 Combinations of Associativity and\slash or
                 Commutativity Axioms",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "3--4",
  pages =        "297--329",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1991",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:33 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Falaschi:2020:DSC,
  author =       "Moreno Falaschi and Maurizio Gabbrielli and Carlos
                 Olarte and Catuscia Palamidessi",
  title =        "Dynamic Slicing for Concurrent Constraint Languages",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "3--4",
  pages =        "331--357",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1992",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:33 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Mesnard:2020:SUC,
  author =       "Fred Mesnard and {\'E}tienne Payet and Germ{\'a}n
                 Vidal",
  title =        "Selective Unification in (Constraint) Logic
                 Programming",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "3--4",
  pages =        "359--383",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1993",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:33 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Tarau:2020:DES,
  author =       "Paul Tarau",
  title =        "Deriving Efficient Sequential and Parallel Generators
                 for Closed Simply-Typed {Lambda} Terms and Normal
                 Forms",
  journal =      j-FUND-INFO,
  volume =       "177",
  number =       "3--4",
  pages =        "385--415",
  month =        "????",
  year =         "2020",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2020-1994",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:33 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Hague:2021:P,
  author =       "Matthew Hague and Igor Potapov",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "1--2",
  pages =        "v--vi",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-1995",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:36 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Bruse:2021:CMC,
  author =       "Florian Bruse and Martin Lange and Etienne Lozes",
  title =        "The Complexity of Model-Checking Tail-Recursive
                 Higher-Order Fixpoint Logic",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "1--2",
  pages =        "1--30",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-1996",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:36 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Cassez:2021:VPS,
  author =       "Franck Cassez and Peter Gj{\o}l Jensen and Kim
                 Guldstrand Larsen",
  title =        "Verification and Parameter Synthesis for Real-Time
                 Programs using Refinement of Trace Abstraction",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "1--2",
  pages =        "31--57",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-1997",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:36 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Filiot:2021:CSS,
  author =       "Emmanuel Filiot and Pierre-Alain Reynier",
  title =        "Copyful Streaming String Transducers",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "1--2",
  pages =        "59--76",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-1998",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:36 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Hutagalung:2021:TCM,
  author =       "Milka Hutagalung",
  title =        "Topological Characterisation of Multi-Buffer
                 Simulation",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "1--2",
  pages =        "77--99",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-1999",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:36 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Sproston:2021:PTA,
  author =       "Jeremy Sproston",
  title =        "Probabilistic Timed Automata with Clock-Dependent
                 Probabilities",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "1--2",
  pages =        "101--138",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2000",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:36 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Valmari:2021:SSF,
  author =       "Antti Valmari and Walter Vogler",
  title =        "Stubborn Sets, Frozen Actions, and Fair Testing",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "1--2",
  pages =        "139--172",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2001",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:36 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Adinayev:2021:DSR,
  author =       "Arthur Adinayev and Itamar Stein",
  title =        "Diamond Subgraphs in the Reduction Graph of a One-Rule
                 String Rewriting System",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "3",
  pages =        "173--185",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2002",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:39 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Arockiaraj:2021:OWB,
  author =       "Micheal Arockiaraj and J. Nancy Delaila and Jessie
                 Abraham",
  title =        "Optimal Wirelength of Balanced Complete Multipartite
                 Graphs onto {Cartesian} Product of Path, Cycle and
                 Trees",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "3",
  pages =        "187--202",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2003",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:39 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Jastrzab:2021:PAM,
  author =       "Tomasz Jastrzab and Zbigniew J. Czech and Wojciech
                 Wieczorek",
  title =        "Parallel Algorithms for Minimal Nondeterministic
                 Finite Automata Inference",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "3",
  pages =        "203--227",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2004",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:39 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Lanese:2021:CCR,
  author =       "Ivan Lanese and Adri{\'a}n Palacios and Germ{\'a}n
                 Vidal",
  title =        "Causal-Consistent Replay Reversible Semantics for
                 Message Passing Concurrent Programs",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "3",
  pages =        "229--266",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2005",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:39 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Neethu:2021:GPN,
  author =       "P. K. Neethu and S. V. Ullas Chandran and Manoj
                 Changat and Sandi Klav{\v{z}}ar",
  title =        "On the General Position Number of Complementary
                 Prisms",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "3",
  pages =        "267--281",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2006",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:39 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Felli:2021:P,
  author =       "Paolo Felli and Marco Montali and Maurizio Proietti",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "4",
  pages =        "i--ii",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2007",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:41 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Combi:2021:CSP,
  author =       "Carlo Combi and Romeo Rizzi and Pietro Sala",
  title =        "Checking Sets of Pure Evolving Association Rules",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "4",
  pages =        "283--313",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2008",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:41 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Cantone:2021:ISB,
  author =       "Domenico Cantone and Marianna Nicolosi-Asmundo and
                 Daniele Francesco Santamaria",
  title =        "An Improved Set-based Reasoner for the Description
                 Logic {$ \cal D L $D4,$ \times $}",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "4",
  pages =        "315--346",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2009",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:41 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Conchon:2021:DPV,
  author =       "Sylvain Conchon and Giorgio Delzanno and Angelo
                 Ferrando",
  title =        "Declarative Parameterized Verification of Distributed
                 Protocols via the Cubicle Model Checker",
  journal =      j-FUND-INFO,
  volume =       "178",
  number =       "4",
  pages =        "347--378",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2010",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:41 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Benouhiba:2021:MLR,
  author =       "Toufik Benouhiba",
  title =        "A Multi-level Refinement Approach for Structural
                 Synthesis of Optimal Probabilistic Models",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "1",
  pages =        "1--33",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2011",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:43 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Marrakchi:2021:SSL,
  author =       "Sirine Marrakchi and Mohamed Jemni",
  title =        "Static Scheduling with Load Balancing for Solving
                 Triangular Band Linear Systems on Multicore
                 Processors",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "1",
  pages =        "35--58",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2012",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:43 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Slapal:2021:DJC,
  author =       "Josef {\v{S}}lapal",
  title =        "Digital {Jordan} Curves and Surfaces with Respect to a
                 Closure Operator",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "1",
  pages =        "59--74",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2013",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:43 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Syau:2021:VPG,
  author =       "Yu-Ru Syau and Churn-Jung Liau and En-Bing Lin",
  title =        "On Variable Precision Generalized Rough Sets and
                 Incomplete Decision Tables",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "1",
  pages =        "75--92",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2014",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:43 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Schlingloff:2021:P,
  author =       "H. Schlingloff and W. Penczek",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "2",
  pages =        "i--ii",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2015",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:45 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Czaja:2021:EEC,
  author =       "Ludwik Czaja",
  title =        "Extensions of Elementary Cause-Effect Structures",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "2",
  pages =        "93--111",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2016",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:45 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Akili:2021:RED,
  author =       "Samira Akili and Matthias Weidlich",
  title =        "Reasoning on the Efficiency of Distributed Complex
                 Event Processing",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "2",
  pages =        "113--134",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2017",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:45 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Yaman:2021:QVS,
  author =       "Sinem Getir Yaman and Esteban Pavese and Lars
                 Grunske",
  title =        "Quantitative Verification of Stochastic Regular
                 Expressions",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "2",
  pages =        "135--163",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2018",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:45 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Grabowski:2021:ACS,
  author =       "Adam Grabowski",
  title =        "Automated Comparative Study of Some Generalized Rough
                 Approximations",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "2",
  pages =        "165--182",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2019",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:45 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Artiemjew:2021:NEM,
  author =       "Piotr Artiemjew and Krzysztof Ropiak",
  title =        "A Novel Ensemble Model --- The Random Granular
                 Reflections",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "2",
  pages =        "183--203",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2020",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:45 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Barbuti:2021:ETB,
  author =       "Roberto Barbuti and Pasquale Bove and Roberta Gori and
                 Damas Gruska and Francesca Levi and Paolo Milazzo",
  title =        "Encoding Threshold {Boolean} Networks into Reaction
                 Systems for the Analysis of Gene Regulatory Networks",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "2",
  pages =        "205--225",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2021",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Wed Mar 24 12:52:45 MDT 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Koprowski:2021:CSE,
  author =       "Przemys{\l}aw Koprowski",
  title =        "Computing Singular Elements Modulo Squares",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "3",
  pages =        "227--238",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2022",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:05 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Lin:2021:RAS,
  author =       "Zhe Lin and Mihir Kumar Chakraborty and Minghui Ma",
  title =        "Residuated Algebraic Structures in the Vicinity of
                 Pre-rough Algebra and Decidability",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "3",
  pages =        "239--274",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2023",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:05 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Torres:2021:RAL,
  author =       "Gabriela Mart{\'\i}n Torres",
  title =        "On Rough Approximations of Languages under Infinite
                 Index Indiscernibility Relations",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "3",
  pages =        "275--293",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2024",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:05 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Wang:2021:CDF,
  author =       "Longchun Wang and Lankun Guo and Qingguo Li",
  title =        "Continuous Domains in Formal Concept Analysis",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "3",
  pages =        "295--319",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2025",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:05 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Bergstra:2021:UHL,
  author =       "J. A. Bergstra and C. A. Middelburg",
  title =        "Using {Hoare} Logic in a Process Algebra Setting",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "4",
  pages =        "321--344",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2026",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:08 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Boomari:2021:RVG,
  author =       "Hossein Boomari and Mojtaba Ostovari and Alireza
                 Zarei",
  title =        "Recognizing Visibility Graphs of Triangulated
                 Irregular Networks",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "4",
  pages =        "345--360",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2027",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:08 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Krivka:2021:SCG,
  author =       "Zbyn{\v{e}}k K{\v{r}}ivka and Alexander Meduna",
  title =        "Scattered Context Grammars with One Non-Context-Free
                 Production are Computationally Complete",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "4",
  pages =        "361--384",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2028",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:08 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Teh:2021:FPM,
  author =       "Wen Chean Teh and Adrian Atanasiu and Denis C. K.
                 Wong",
  title =        "Freeness Problem for Matrix Semigroups of {Parikh}
                 Matrices",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "4",
  pages =        "385--397",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2029",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:08 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Wang:2021:NDT,
  author =       "Zhaohao Wang",
  title =        "A New Description of Transversal Matroids Through
                 Rough Set Approach",
  journal =      j-FUND-INFO,
  volume =       "179",
  number =       "4",
  pages =        "399--416",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2030",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:08 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Hirvensalo:2021:P,
  author =       "Mika Hirvensalo and Franti{\v{s}}ek Mr{\'a}z and
                 Daniel Pr{\r{u}}{\v{s}}a",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "1--2",
  pages =        "v--vi",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2031",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:10 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Fernau:2021:SVP,
  author =       "Henning Fernau and Martin Kutrib and Matthias
                 Wendlandt",
  title =        "Self-Verifying Pushdown and Queue Automata",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "1--2",
  pages =        "1--28",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2032",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:10 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Holzer:2021:TSS,
  author =       "Markus Holzer and Martin Kutrib and Friedrich Otto",
  title =        "Two-Sided Strictly Locally Testable Languages",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "1--2",
  pages =        "29--51",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2033",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:10 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Malcher:2021:DQI,
  author =       "Andreas Malcher",
  title =        "Decidability Questions for Insertion Systems and
                 Related Models",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "1--2",
  pages =        "53--76",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2034",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:10 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Otto:2021:CTR,
  author =       "Friedrich Otto",
  title =        "A Complete Taxonomy of Restarting Automata without
                 Auxiliary Symbols",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "1--2",
  pages =        "77--101",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2035",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:10 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Pighizzini:2021:NSE,
  author =       "Giovanni Pighizzini and Luca Prigioniero",
  title =        "Non-Self-Embedding Grammars and Descriptional
                 Complexity",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "1--2",
  pages =        "103--122",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2036",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:10 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Truthe:2021:GCC,
  author =       "Bianca Truthe",
  title =        "Generative Capacity of Contextual Grammars with
                 Subregular Selection Languages",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "1--2",
  pages =        "123--150",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2037",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:10 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Wang:2021:LAW,
  author =       "Qichao Wang",
  title =        "Languages Accepted by Weighted Restarting Automata",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "1--2",
  pages =        "151--177",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2038",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:10 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Gorrieri:2021:CSB,
  author =       "Roberto Gorrieri",
  title =        "Causal Semantics for {BPP} Nets with Silent Moves",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "3",
  pages =        "179--249",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2039",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:13 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Massazza:2021:DSA,
  author =       "Paolo Massazza",
  title =        "A Dynamical System Approach to Polyominoes
                 Generation",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "3",
  pages =        "251--273",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2040",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:13 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Rudi:2021:PVA,
  author =       "Ali Gholami Rudi",
  title =        "Place the Vertices Anywhere on the Curve and
                 Simplify",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "3",
  pages =        "275--287",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2041",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:13 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Skrzypczak:2021:P,
  author =       "Micha{\l} Skrzypczak and Piotr Hofman",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "4",
  pages =        "i--ii",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2042",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:16 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Catalano:2021:LBR,
  author =       "Costanza Catalano and Umer Azfar and Ludovic Charlier
                 and Rapha{\"e}l M. Jungers",
  title =        "A Linear Bound on the $k$-rendezvous Time for
                 Primitive Sets of {NZ} Matrices",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "4",
  pages =        "289--314",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2043",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:16 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Dobronravov:2021:LSS,
  author =       "Egor Dobronravov and Nikita Dobronravov and Alexander
                 Okhotin",
  title =        "On the Length of Shortest Strings Accepted by Two-way
                 Finite Automata",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "4",
  pages =        "315--331",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2044",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:16 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Gastin:2021:RRL,
  author =       "Paul Gastin and Amaldev Manuel and R. Govind",
  title =        "Reversible Regular Languages: Logical and Algebraic
                 Characterisations",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "4",
  pages =        "333--350",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2045",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:16 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kuperberg:2021:CAB,
  author =       "Denis Kuperberg and Laureline Pinault and Damien
                 Pous",
  title =        "Coinductive Algorithms for {B{\"u}chi} Automata",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "4",
  pages =        "351--373",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2046",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:16 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Saarela:2021:SWL,
  author =       "Aleksi Saarela",
  title =        "Separating the Words of a Language by Counting
                 Factors",
  journal =      j-FUND-INFO,
  volume =       "180",
  number =       "4",
  pages =        "375--393",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2047",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:16 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Casagrande:2021:P,
  author =       "Alberto Casagrande and Eugenio G. Omodeo and Maurizio
                 Proietti",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "1",
  pages =        "v--vi",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2048",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:19 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Hillston:2021:PSN,
  author =       "Jane Hillston and Andrea Marin and Carla Piazza and
                 Sabina Rossi",
  title =        "Persistent Stochastic Non-Interference",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "1",
  pages =        "1--35",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2049",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:19 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Cantone:2021:CAD,
  author =       "Domenico Cantone and Andrea {De Domenico} and Pietro
                 Maugeri and Eugenio G. Omodeo",
  title =        "Complexity Assessments for Decidable Fragments of Set
                 Theory. {I}: {A} Taxonomy for the {Boolean} Case",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "1",
  pages =        "37--69",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2050",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:19 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Costantini:2021:AMF,
  author =       "Stefania Costantini and Andrea Formisano",
  title =        "Adding Metalogic Features to Knowledge Representation
                 Languages",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "1",
  pages =        "71--98",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2051",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:19 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Durand-Lose:2021:P,
  author =       "J{\'e}r{\^o}me Durand-Lose and Jarkko Kari and Sergey
                 Verlan",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "2--3",
  pages =        "i--iii",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2052",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:21 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Geffert:2021:MSC,
  author =       "Viliam Geffert and Zuzana Bedn{\'a}rov{\'a}",
  title =        "Minimal Size of Counters for (Real-Time) Multicounter
                 Automata",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "2--3",
  pages =        "99--127",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2053",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:21 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Whyman:2021:PCC,
  author =       "Richard Whyman",
  title =        "Physical Computational Complexity and First-order
                 Logic",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "2--3",
  pages =        "129--161",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2054",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:21 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Perrot:2021:BAN,
  author =       "K{\'e}vin Perrot and Pac{\^o}me Perrotin and Sylvain
                 Sen{\'e}",
  title =        "On {Boolean} Automata Networks (de){Composition}",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "2--3",
  pages =        "163--188",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2055",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:21 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Fernau:2021:IDC,
  author =       "Henning Fernau and Lakshmanan Kuppusamy and Rufus O.
                 Oladele and Indhumathi Raman",
  title =        "Improved Descriptional Complexity Results for Simple
                 Semi-Conditional Grammars",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "2--3",
  pages =        "189--211",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2056",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:21 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Nagy:2021:CIV,
  author =       "Benedek Nagy and S{\'a}ndor V{\'a}lyi",
  title =        "Circular Interval-valued Computers and Simulation of
                 (Red--green) {Turing} Machines",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "2--3",
  pages =        "213--238",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2057",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:21 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Alhazov:2021:RBC,
  author =       "Artiom Alhazov and Rudolf Freund and Sergiu Ivanov and
                 Marion Oswald",
  title =        "Relations between Control Mechanisms for Sequential
                 Grammars",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "2--3",
  pages =        "239--271",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2058",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:21 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{vanderAalst:2021:FCN,
  author =       "Wil M. P. van der Aalst",
  title =        "Free-choice Nets with Home Clusters are Lucent",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "4",
  pages =        "273--302",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2059",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:24 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Drylo:2021:CTJ,
  author =       "Robert Dry{\l}o",
  title =        "Compression on the Twisted {Jacobi} Intersection",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "4",
  pages =        "303--312",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2060",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:24 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Perez:2021:PTC,
  author =       "Claudia P{\'e}rez and Daniel Rivera",
  title =        "Polynomial-time Classification of Skew-symmetrizable
                 Matrices with a Positive Definite Quasi-{Cartan}
                 Companion",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "4",
  pages =        "313--337",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2061",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:24 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Zhang:2021:UMD,
  author =       "Kuize Zhang",
  title =        "A Unified Method to Decentralized State Detection and
                 Fault Diagnosis/prediction of Discrete-event Systems",
  journal =      j-FUND-INFO,
  volume =       "181",
  number =       "4",
  pages =        "339--371",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2062",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:24 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Keller:2021:P,
  author =       "J{\"o}rg Keller and Wojciech Penczek",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "1",
  pages =        "v--vi",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2063",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:27 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Felli:2021:SVD,
  author =       "Paolo Felli and Massimiliano de Leoni and Marco
                 Montali",
  title =        "Soundness Verification of Data-Aware Process Models
                 with Variable-to-Variable Conditions",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "1",
  pages =        "1--29",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2064",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:27 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Andre:2021:PSA,
  author =       "{\'E}tienne Andr{\'e} and Emmanuel Coquard and Laurent
                 Fribourg and Jawher Jerray and David Lesens",
  title =        "Parametric Schedulability Analysis of a Launcher
                 Flight Control System under Reactivity Constraints",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "1",
  pages =        "31--67",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2065",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:27 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Andre:2021:PAA,
  author =       "{\'E}tienne Andr{\'e} and Didier Lime and Mathias
                 Ramparison and Mari{\"e}lle Stoelinga",
  title =        "Parametric Analyses of Attack-fault Trees",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "1",
  pages =        "69--94",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2066",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:27 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Slezak:2021:PIG,
  author =       "Dominik {\'S}l{\k{e}}zak and Tzung-Pei Hong and Leon
                 S. L. Wang",
  title =        "Preface: Information Granulation in Data Science and
                 Scalable Computing",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "2",
  pages =        "i--ii",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2067",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:29 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Le:2021:KLD,
  author =       "Linh Le and Ying Xie and Vijay V. Raghavan",
  title =        "{KNN} Loss and Deep {KNN}",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "2",
  pages =        "95--110",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2068",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:29 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Dagdia:2021:DSD,
  author =       "Zaineb Chelly Dagdia and Christine Zarges",
  title =        "A Detailed Study of the Distributed Rough Set Based
                 Locality Sensitive Hashing Feature Selection
                 Technique",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "2",
  pages =        "111--179",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2069",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:29 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Tsumoto:2021:MCP,
  author =       "Shusaku Tsumoto and Shoji Hirano and Tomohiro Kimura
                 and Haruko Iwata",
  title =        "Mining Clinical Process from Hospital Information
                 System: a Granular Computing Approach",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "2",
  pages =        "181--218",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2070",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:29 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Chehreghani:2021:EAA,
  author =       "Mostafa Haghir Chehreghani and Albert Bifet and Talel
                 Abdessalem",
  title =        "Exact and Approximate Algorithms for Computing
                 Betweenness Centrality in Directed Graphs",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "3",
  pages =        "219--242",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2071",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:32 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Jin:2021:TFS,
  author =       "Yu Jin and Bosheng Song and Yanyan Li and Ying Zhu",
  title =        "Time-free Solution to Independent Set Problem using
                 {P} Systems with Active Membranes",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "3",
  pages =        "243--255",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2072",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:32 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Nguyen:2021:EAM,
  author =       "Viet Dung Nguyen and Ba Thai Pham and Phan Thuan Do",
  title =        "Efficient Algorithms for Maximum Induced Matching
                 Problem in Permutation and Trapezoid Graphs",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "3",
  pages =        "257--283",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2073",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:32 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Sujana:2021:EFB,
  author =       "G. Jessy Sujana and T. M. Rajalaxmi and Indra
                 Rajasingh and R. Sundara Rajan",
  title =        "Edge Forcing in Butterfly Networks",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "3",
  pages =        "285--299",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2074",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:32 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Zarrabi:2021:QPV,
  author =       "Mohammad Reza Zarrabi and Nasrollah Moghaddam
                 Charkari",
  title =        "Query-Points Visibility Constraint Minimum Link Paths
                 in Simple Polygons",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "3",
  pages =        "301--319",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2075",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:32 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Zhengwei:2021:TBF,
  author =       "Xie Zhengwei and Qiu Daowen and Cai Guangya and Jozef
                 Gruska and Paulo Mateus",
  title =        "Testing {Boolean} Functions Properties",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "4",
  pages =        "321--344",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2076",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:35 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Sureson:2021:IAF,
  author =       "Claude Sureson",
  title =        "The Inverse of {Ackermann} Function is Computable in
                 Linear Time",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "4",
  pages =        "345--361",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2077",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:35 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Wehler:2021:PFC,
  author =       "Joachim Wehler",
  title =        "Perpetual Free-choice {Petri} Nets are Lucent Proof of
                 a Theorem of van der Aalst Using {CP} -exhaustions",
  journal =      j-FUND-INFO,
  volume =       "182",
  number =       "4",
  pages =        "363--393",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2078",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:35 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Donatelli:2021:P,
  author =       "Susanna Donatelli and Stefan Haar and Slawomir
                 Lasota",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "1--2",
  pages =        "v--vi",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2079",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:37 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Devillers:2021:APT,
  author =       "Raymond Devillers",
  title =        "Articulations and Products of Transition Systems and
                 their Applications to {Petri} Net Synthesis",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "1--2",
  pages =        "1--31",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2080",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:37 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Finkel:2021:CTF,
  author =       "Alain Finkel and Serge Haddad and Igor Khmelnitsky",
  title =        "Coverability, Termination, and Finiteness in Recursive
                 {Petri} Nets",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "1--2",
  pages =        "33--66",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2081",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:37 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Escrig:2021:IRS,
  author =       "David de Frutos Escrig and Maciej Koutny and {\L}ukasz
                 Mikulski",
  title =        "Investigating Reversibility of Steps in {Petri} Nets",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "1--2",
  pages =        "67--96",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2082",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:37 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Lime:2021:CPP,
  author =       "Didier Lime and Olivier H. Roux and Charlotte
                 Seidner",
  title =        "Cost Problems for Parametric Time {Petri} Nets",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "1--2",
  pages =        "97--123",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2083",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:37 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Tredup:2021:CSB,
  author =       "Ronny Tredup",
  title =        "The Complexity of Synthesis of $b$-Bounded {Petri}
                 Nets",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "1--2",
  pages =        "125--167",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2084",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:37 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Janicki:2021:P,
  author =       "Ryszard Janicki and Slawomir Lasota and Natalia
                 Sidorova",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "3--4",
  pages =        "i--ii",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2085",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:40 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Allamigeon:2021:PAD,
  author =       "Xavier Allamigeon and Marin Boyet and St{\'e}phane
                 Gaubert",
  title =        "Piecewise Affine Dynamical Models of {Petri} Nets ---
                 Application to Emergency Call Centers",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "3--4",
  pages =        "169--201",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2086",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:40 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Fahland:2021:IUE,
  author =       "Dirk Fahland and Vadim Denisov and Wil. M. P. van der
                 Aalst",
  title =        "Inferring Unobserved Events in Systems with Shared
                 Resources and Queues",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "3--4",
  pages =        "203--242",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2087",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:40 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Finkel:2021:EPN,
  author =       "Olivier Finkel and Micha{\l} Skrzypczak",
  title =        "On the Expressive Power of Non-deterministic and
                 Unambiguous {Petri} Nets over Infinite Words",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "3--4",
  pages =        "243--291",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2088",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:40 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kalenkova:2021:ARP,
  author =       "Anna Kalenkova and Josep Carmona and Artem Polyvyanyy
                 and Marcello {La Rosa}",
  title =        "Automated Repair of Process Models with Non-local
                 Constraints Using State-Based Region Theory",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "3--4",
  pages =        "293--317",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2089",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:40 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Thierry-Mieg:2021:SSM,
  author =       "Yann Thierry-Mieg",
  title =        "Symbolic and Structural Model-Checking",
  journal =      j-FUND-INFO,
  volume =       "183",
  number =       "3--4",
  pages =        "319--342",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2090",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:40 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Ganty:2021:CBP,
  author =       "Pierre Ganty and Elena Guti{\'e}rrez and Pedro
                 Valero",
  title =        "A Congruence-Based Perspective on Finite Tree
                 Automata",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "1",
  pages =        "1--47",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2091",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:43 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Gonzalez:2021:GTF,
  author =       "Jes{\'u}s Arturo Jim{\'e}nez Gonz{\'a}lez",
  title =        "A Graph Theoretical Framework for the Strong {Gram}
                 Classification of Non-negative Unit Forms of {Dynkin}
                 Type {$ \mathbb {A}_n $}",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "1",
  pages =        "49--82",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2092",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:43 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Fajardo:2021:RBA,
  author =       "William Fajardo",
  title =        "Right {Buchberger} Algorithm over Bijective Skew {PBW}
                 Extensions",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "2",
  pages =        "83--105",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2093",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:45 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Wronski:2021:HDC,
  author =       "Micha{\l} Wro{\'n}ski and Tomasz Kijko and Robert
                 Dry{\l}o",
  title =        "High-degree Compression Functions on Alternative
                 Models of Elliptic Curves and their Applications",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "2",
  pages =        "107--139",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2094",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:45 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Zielinski:2021:NDM,
  author =       "Bartosz Zieli{\'n}ski",
  title =        "A Non-Deterministic Multiset Query Language",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "2",
  pages =        "141--180",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2095",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:45 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Adamson:2021:HEM,
  author =       "Duncan Adamson and Argyrios Deligkas and Vladimir
                 Gusev and Igor Potapov",
  title =        "On the Hardness of Energy Minimisation for Crystal
                 Structure Prediction",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "3",
  pages =        "181--203",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2096",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:48 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Keikha:2021:CGM,
  author =       "Vahideh Keikha and Sepideh Aghamolaei and Ali Mohades
                 and Mohammad Ghodsi",
  title =        "Clustering Geometrically-Modeled Points in the
                 Aggregated Uncertainty Model",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "3",
  pages =        "205--231",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2097",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:48 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Mitrovic:2021:TCS,
  author =       "Melanija Mitrovi{\'c} and Mahouton Norbert Hounkonnou
                 and Marian Alexandru Baroni",
  title =        "Theory of Constructive Semigroups with Apartness ---
                 Foundations, Development and Practice",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "3",
  pages =        "233--271",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2098",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:48 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Barylska:2021:ACR,
  author =       "Kamila Barylska and Anna Gogoli{\'n}ska",
  title =        "Acyclic and Cyclic Reversing Computations in {Petri}
                 Nets",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "4",
  pages =        "273--296",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2099",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:50 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Darkey-Mensah:2021:CLS,
  author =       "Mawunyo Kofi Darkey-Mensah and Beata Rothkegel",
  title =        "Computing the Length of Sum of Squares and
                 {Pythagoras} Element in a Global Field",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "4",
  pages =        "297--306",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2100",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:50 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Sima:2021:PTC,
  author =       "Ji{\v{r}}{\'\i} {\v{S}}{\'\i}ma and Stanislav
                 {\v{Z}}{\'a}k",
  title =        "A Polynomial-Time Construction of a Hitting Set for
                 Read-Once Branching Programs of Width 3",
  journal =      j-FUND-INFO,
  volume =       "184",
  number =       "4",
  pages =        "307--354",
  month =        "????",
  year =         "2021",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-2021-2101",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:50 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Dolce:2022:MPP,
  author =       "Francesco Dolce and Edita Pelantov{\'a}",
  title =        "On Morphisms Preserving Palindromic Richness",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "1",
  pages =        "1--25",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222102",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:53 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Fates:2022:SSC,
  author =       "Nazim Fat{\`e}s and Ir{\`e}ne Marcovici and Siamak
                 Taati",
  title =        "Self-stabilisation of Cellular Automata on Tilings",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "1",
  pages =        "27--82",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222103",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:53 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Forcan:2022:SSW,
  author =       "Jovana Forcan and Mirjana Mikala{\v{c}}ki",
  title =        "Spanning Structures in Walker--Breaker Games",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "1",
  pages =        "83--97",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222104",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:53 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Baca:2022:LAV,
  author =       "Martin Ba{\v{c}}a and Andrea
                 Semani{\v{c}}ov{\'a}-Fe{\v{n}}ov{\v{c}}{\'\i}kov{\'a}
                 and Ruei-Ting Lai and Tao-Ming Wang",
  title =        "On Local Antimagic Vertex Coloring for Complete Full
                 $t$-ary Trees",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "2",
  pages =        "99--113",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222105",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:55 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Danvy:2022:GTB,
  author =       "Olivier Danvy",
  title =        "Getting There and Back Again",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "2",
  pages =        "115--183",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222106",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:55 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Garzon:2022:DNC,
  author =       "Ester M. Garz{\'o}n and Jos{\'e} A. Mart{\'\i}nez and
                 Juan J. Moreno and Mar{\'\i}a L. Puertas",
  title =        "On the 2-domination Number of Cylinders with Small
                 Cycles",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "2",
  pages =        "185--199",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222107",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:55 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Martinez:2022:PDR,
  author =       "A. Cabrera Mart{\'\i}nez and C. Garc{\'\i}a-G{\'o}mez
                 and J. A. Rodr{\'\i}guez-Vel{\'a}zquez",
  title =        "Perfect Domination, {Roman} Domination and Perfect
                 {Roman} Domination in Lexicographic Product Graphs",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "3",
  pages =        "201--220",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222108",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:58 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Gonzalez:2022:CIN,
  author =       "Jes{\'u}s Arturo Jim{\'e}nez Gonz{\'a}lez",
  title =        "{Coxeter} Invariants for Non-negative Unit Forms of
                 {Dynkin} Type {$ \mathbb {A}_r $}",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "3",
  pages =        "221--246",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222109",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:58 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Schmidt-Schauss:2022:NUM,
  author =       "Manfred Schmidt-Schau{\ss} and Temur Kutsia and Jordi
                 Levy and Mateu Villaret and Yunus Kutz",
  title =        "Nominal Unification and Matching of Higher Order
                 Expressions with Recursive Let",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "3",
  pages =        "247--283",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222110",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:36:58 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Abhishek:2022:RNG,
  author =       "Kunal Abhishek and E. George Dharma Prakash Raj",
  title =        "On Random Number Generation for Kernel Applications",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "4",
  pages =        "285--311",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222111",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:01 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib;
                 http://www.math.utah.edu/pub/tex/bib/linux.bib;
                 http://www.math.utah.edu/pub/tex/bib/prng.bib;
                 http://www.math.utah.edu/pub/tex/bib/unix.bib",
  abstract =     "An operating system kernel uses cryptographically
                 secure pseudorandom number generator (CSPRNG) for
                 creating address space layout randomization (ASLR)
                 offsets to protect memory addresses of processes from
                 exploitation, storing users' passwords securely and
                 creating cryptographic keys. However, at present,
                 popular kernel CSPRNGs such as Yarrow, Fortuna and
                 /dev/(u)random which are used by MacOS/iOS/FreeBSD,
                 Windows and Linux/Android kernels respectively lack the
                 very crucial property of non-reproducibility of their
                 generated bitstreams which is used to nullify the scope
                 of predicting the bitstream. This paper proposes a
                 CSPRNG called Cryptographically Secure Pseudorandom
                 Number Generator for Kernel Applications (KCS-PRNG)
                 which generates non-reproducible bitstreams. The
                 proposed KCS-PRNG presents an efficient design uniquely
                 configured with two new non-standard and verified
                 elliptic curves and clock-controlled Linear Feedback
                 Shift Registers (LFSRs) and a novel method to
                 consistently generate non-reproducible random
                 bitstreams of arbitrary lengths. The generated
                 bitstreams are statistically indistinguishable from
                 true random bitstreams and provably secure, resilient
                 to important attacks, exhibits backward and forward
                 secrecy, exhibits exponential linear complexity, large
                 period and huge key space.",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Geuvers:2022:CBE,
  author =       "Herman Geuvers and Rob Nederpelt",
  title =        "Characteristics of {de Bruijn}'s early proof checker
                 {Automath}",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "4",
  pages =        "313--336",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222112",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:01 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kutrib:2022:CDP,
  author =       "Martin Kutrib and Andreas Malcher and Carlo Mereghetti
                 and Beatrice Palano",
  title =        "Computational and Descriptional Power of
                 Nondeterministic Iterated Uniform Finite-State
                 Transducers",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "4",
  pages =        "337--356",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222113",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:01 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Lin:2022:LDA,
  author =       "Cheng-Kuan Lin and Tzu-Liang Kung and Chun-Nan Hung
                 and Yuan-Hsiang Teng",
  title =        "A Local Diagnosis Algorithm for Hypercube-like
                 Networks under the {BGM} Diagnosis Model",
  journal =      j-FUND-INFO,
  volume =       "185",
  number =       "4",
  pages =        "357--373",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222114",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:01 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Avron:2022:P,
  author =       "Arnon Avron and Nachum Dershowitz and Alexander
                 Rabinovich",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "186",
  number =       "1--4",
  pages =        "v--viii",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222115",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:03 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Abramsky:2022:SPE,
  author =       "Samson Abramsky",
  title =        "Structure and Power: an Emerging Landscape",
  journal =      j-FUND-INFO,
  volume =       "186",
  number =       "1--4",
  pages =        "1--26",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222116",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:03 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Arnold:2022:ACS,
  author =       "Andr{\'e} Arnold and Patrick C{\'e}gielski and
                 Ir{\`e}ne Guessarian",
  title =        "Affine Completeness of Some Free Binary Algebras",
  journal =      j-FUND-INFO,
  volume =       "186",
  number =       "1--4",
  pages =        "27--44",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222117",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:03 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Artemov:2022:TSE,
  author =       "Sergei Artemov",
  title =        "Towards Syntactic Epistemic Logic",
  journal =      j-FUND-INFO,
  volume =       "186",
  number =       "1--4",
  pages =        "45--62",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222118",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:03 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Brutsch:2022:SIG,
  author =       "Benedikt Br{\"u}tsch and Wolfgang Thomas",
  title =        "Solving Infinite Games in the {Baire} Space",
  journal =      j-FUND-INFO,
  volume =       "186",
  number =       "1--4",
  pages =        "63--88",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222119",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:03 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Courcelle:2022:OTT,
  author =       "Bruno Courcelle",
  title =        "Order-theoretic Trees: Monadic Second-order
                 Descriptions and Regularity",
  journal =      j-FUND-INFO,
  volume =       "186",
  number =       "1--4",
  pages =        "89--120",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222120",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:03 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Francez:2022:GFF,
  author =       "Nissim Francez",
  title =        "A Generalization of Falsity in Finitely-many Valued
                 Logics",
  journal =      j-FUND-INFO,
  volume =       "186",
  number =       "1--4",
  pages =        "121--132",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222121",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:03 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Gurevich:2022:ICM,
  author =       "Yuri Gurevich",
  title =        "The {1966 International Congress of Mathematicians}: a
                 Micro-memoir",
  journal =      j-FUND-INFO,
  volume =       "186",
  number =       "1--4",
  pages =        "133--141",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222122",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:03 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kaminski:2022:NCN,
  author =       "Michael Kaminski",
  title =        "A Note on Calculi for Non-deterministic Many-valued
                 Logics",
  journal =      j-FUND-INFO,
  volume =       "186",
  number =       "1--4",
  pages =        "143--153",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222123",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:03 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kotek:2022:TMP,
  author =       "Tomer Kotek and Johann A. Makowsky",
  title =        "On the {Tutte} and Matching Polynomials for Complete
                 Graphs",
  journal =      j-FUND-INFO,
  volume =       "186",
  number =       "1--4",
  pages =        "155--173",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222124",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:03 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Kasjan:2022:DSO,
  author =       "Stanis{\l}aw Kasjan and Damian Niwi{\'n}ski",
  title =        "{Daniel Simson} Obituary",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "1",
  pages =        "v--vii",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222131",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:06 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Bhagat:2022:GMN,
  author =       "Subhash Bhagat and Abhinav Chakraborty and Bibhuti Das
                 and Krishnendu Mukhopadhyaya",
  title =        "Gathering over Meeting Nodes in Infinite Grid",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "1",
  pages =        "1--30",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222128",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:06 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Redeker:2022:NCP,
  author =       "Markus Redeker",
  title =        "Number Conservation via Particle Flow in
                 One-dimensional Cellular Automata",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "1",
  pages =        "31--59",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222129",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:06 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Zhou:2022:NGF,
  author =       "Sizhong Zhou",
  title =        "A Note of Generalization of Fractional
                 {ID}-factor-critical Graphs",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "1",
  pages =        "61--69",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222130",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:06 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Buchs:2022:P,
  author =       "Didier Buchs and Josep Carmona and Jetty Kleijn",
  title =        "Preface",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "2--4",
  pages =        "i--iii",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222132",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:09 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Abbes:2022:IPC,
  author =       "Samy Abbes",
  title =        "Introduction to Probabilistic Concurrent Systems",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "2--4",
  pages =        "71--102",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222133",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:09 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Amat:2022:PAP,
  author =       "Nicolas Amat and Bernard Berthomieu and Silvano {Dal
                 Zilio}",
  title =        "A Polyhedral Abstraction for {Petri} Nets and its
                 Application to {SMT}-Based Model Checking",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "2--4",
  pages =        "103--138",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222134",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:09 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Devillers:2022:SPI,
  author =       "Raymond Devillers and Ronny Tredup",
  title =        "Synthesis of Pure and Impure {Petri} Nets with
                 Restricted Place-environments: Complexity Issues",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "2--4",
  pages =        "139--165",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222135",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:09 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Devillers:2022:SBT,
  author =       "Raymond Devillers and Ronny Tredup",
  title =        "Some Basic Techniques Allowing {Petri} Net Synthesis:
                 Complexity and Algorithmic Issues",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "2--4",
  pages =        "167--196",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222136",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:09 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Esparza:2022:CPI,
  author =       "Javier Esparza and Mikhail Raskin and Christoph
                 Welzel",
  title =        "Computing Parameterized Invariants of Parameterized
                 {Petri} Nets",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "2--4",
  pages =        "197--243",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222137",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:09 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Wallner:2022:SAU,
  author =       "Sophie Wallner and Karsten Wolf",
  title =        "Skeleton Abstraction for Universal Temporal
                 Properties",
  journal =      j-FUND-INFO,
  volume =       "187",
  number =       "2--4",
  pages =        "245--272",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222138",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:09 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Gh:2022:FHC,
  author =       "Behrooz Bagheri Gh. and Tomas Feder and Herbert
                 Fleischner and Carlos Subi",
  title =        "On Finding {Hamiltonian} Cycles in Barnette Graphs",
  journal =      j-FUND-INFO,
  volume =       "188",
  number =       "1",
  pages =        "1--14",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222139",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:12 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Bes:2022:DDI,
  author =       "Alexis B{\`e}s and Christian Choffrut",
  title =        "Decidability of Definability Issues in the Theory of
                 Real Addition",
  journal =      j-FUND-INFO,
  volume =       "188",
  number =       "1",
  pages =        "15--39",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222140",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:12 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Mrozek:2022:UAS,
  author =       "Ireneusz Mrozek and Nikolai A. Shevchenko and
                 Vyacheslav N. Yarmolik",
  title =        "Universal Address Sequence Generator for Memory
                 Built-in Self-test",
  journal =      j-FUND-INFO,
  volume =       "188",
  number =       "1",
  pages =        "41--61",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222141",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:12 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Eberbach:2022:CCM,
  author =       "Eugene Eberbach",
  title =        "On Completeness of Cost Metrics and Meta-Search
                 Algorithms in \$-Calculus",
  journal =      j-FUND-INFO,
  volume =       "188",
  number =       "2",
  pages =        "63--90",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222142",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:14 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Lee:2022:IUB,
  author =       "Hyang-Sook Lee and Seongan Lim and Ikkwon Yie and
                 Aaram Yun",
  title =        "On Insecure Uses of {BGN} for Privacy Preserving Data
                 Aggregation Protocols",
  journal =      j-FUND-INFO,
  volume =       "188",
  number =       "2",
  pages =        "91--101",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222143",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:14 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Macyna:2022:AMP,
  author =       "Wojciech Macyna and Michal Kukowski",
  title =        "Adaptive Merging on Phase Change Memory",
  journal =      j-FUND-INFO,
  volume =       "188",
  number =       "2",
  pages =        "103--126",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222144",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:14 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Barozzini:2022:CAS,
  author =       "David Barozzini and Lorenzo Clemente and Thomas
                 Colcombet and Pawe{\l} Parys",
  title =        "Cost Automata, Safe Schemes, and Downward Closures",
  journal =      j-FUND-INFO,
  volume =       "188",
  number =       "3",
  pages =        "127--178",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222145",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:17 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}

@Article{Jancar:2022:SLI,
  author =       "Petr Jan{\v{c}}ar and Ji{\v{r}}{\'\i}
                 Val{\r{u}}{\v{s}}ek",
  title =        "Structural Liveness of Immediate Observation {Petri}
                 Nets",
  journal =      j-FUND-INFO,
  volume =       "188",
  number =       "3",
  pages =        "179--215",
  month =        "????",
  year =         "2022",
  CODEN =        "FUMAAJ",
  DOI =          "https://doi.org/10.3233/FI-222146",
  ISSN =         "0169-2968 (print), 1875-8681 (electronic)",
  ISSN-L =       "0169-2968",
  bibdate =      "Tue May 2 08:37:17 MDT 2023",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Fundamenta Informaticae",
  journal-URL =  "http://content.iospress.com/journals/fundamenta-informaticae",
}