Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.00",
%%%     date            = "24 March 2021",
%%%     time            = "13:49:46 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        = "63105 2838 10319 110659",
%%%     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.00, the COMPLETE year coverage
%%%                        looked like this:
%%%
%%%                             2020 ( 100)    2021 (  27)
%%%
%%%                             Article:        126
%%%
%%%                             Total entries:  126
%%%
%%%                        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",
}