@article{Fribourg:1998:DAC:593226.593266,
    Address = {Hingham, MA, USA},
    Author = {Fribourg, Laurent and Ols{\'e}n, Hans},
    File = {A Decompositional Approach for Computing Least Fixed-Pointsof Datalog Programs with Z-Counters - Fribourg, Olsén (0) (0) - a - a - y.pdf},
    ISSN = {1383-7133},
    Journal = {Constraints},
    Keywords = {Petri nets, decomposition, least fixed-point, linear arithmetic, reachability set},
    Month = {January},
    Number = {3/4},
    Pages = {305--335},
    Publisher = {Kluwer Academic Publishers},
    Title = {A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters},
    URL = {http://dx.doi.org/10.1023/A:1009747629591},
    Volume = {2},
    Year = {1998},
    acmid = {593266},
    bdsk-url-1 = {http://dx.doi.org/10.1023/A:1009747629591},
    date-added = {2014-10-29 12:40:07 +0000},
    date-modified = {2017-06-27 14:49:02 +0000},
    issue_date = {1997},
    numpages = {31},
    doi = {10.1023/A:1009747629591}
}

@article{Fribourg:1998:DAC:593226.593266, Address = {Hingham, MA, USA}, Author = {Fribourg, Laurent and Ols{\'e}n, Hans}, File = {A Decompositional Approach for Computing Least Fixed-Pointsof Datalog Programs with Z-Counters - Fribourg, Olsén (0) (0) - a - a - y.pdf}, ISSN = {1383-7133}, Journal = {Constraints}, Keywords = {Petri nets, decomposition, least fixed-point, linear arithmetic, reachability set}, Month = {January}, Number = {3/4}, Pages = {305--335}, Publisher = {Kluwer Academic Publishers}, Title = {A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters}, URL = {http://dx.doi.org/10.1023/A:1009747629591}, Volume = {2}, Year = {1998}, acmid = {593266}, bdsk-url-1 = {http://dx.doi.org/10.1023/A:1009747629591}, date-added = {2014-10-29 12:40:07 +0000}, date-modified = {2017-06-27 14:49:02 +0000}, issue_date = {1997}, numpages = {31}, doi = {10.1023/A:1009747629591} }