@article{Pratt:2000:HDA:966935.966941,
    Address = {New York, NY, USA},
    Author = {Pratt, Vaughan},
    File = {hda (0) (0) - a - a - g.pdf},
    ISSN = {0960-1295},
    Journal = {Mathematical. Structures in Comp. Sci.},
    Month = {August},
    Number = {4},
    Pages = {525--548},
    Publisher = {Cambridge University Press},
    Title = {Higher Dimensional Automata Revisited},
    URL = {http://dx.doi.org/10.1017/S0960129500003169},
    Volume = {10},
    Year = {2000},
    acmid = {966941},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S0960129500003169},
    date-added = {2019-06-19 16:17:49 +0200},
    date-modified = {2019-06-19 16:17:49 +0200},
    issue_date = {August 2000},
    numpages = {24},
    doi = {10.1017/S0960129500003169}
}

@article{Pratt:2000:HDA:966935.966941, Address = {New York, NY, USA}, Author = {Pratt, Vaughan}, File = {hda (0) (0) - a - a - g.pdf}, ISSN = {0960-1295}, Journal = {Mathematical. Structures in Comp. Sci.}, Month = {August}, Number = {4}, Pages = {525--548}, Publisher = {Cambridge University Press}, Title = {Higher Dimensional Automata Revisited}, URL = {http://dx.doi.org/10.1017/S0960129500003169}, Volume = {10}, Year = {2000}, acmid = {966941}, bdsk-url-1 = {http://dx.doi.org/10.1017/S0960129500003169}, date-added = {2019-06-19 16:17:49 +0200}, date-modified = {2019-06-19 16:17:49 +0200}, issue_date = {August 2000}, numpages = {24}, doi = {10.1017/S0960129500003169} }