@inproceedings{AbuK18,
    series    = {LIPIcs},
    title     = {The {{Cayley}}-{{Graph}} of the {{Queue Monoid}}: {{Logic}} and {{Decidability}}},
    volume    = {122},
    doi       = {10.4230/LIPIcs.FSTTCS.2018.9},
    booktitle = {{{FSTTCS}} 2018},
    publisher = {{Dagstuhl Publishing}},
    author    = {Abu Zaid, Faried and K\"ocher, Chris},
    year      = {2018},
    pages     = {9:1-9:17}
}