@article{GradelTannen:MJCNT:2020,
    doi = {10.2140/moscow.2020.9.203},
    url = {https://doi.org/10.2140%2Fmoscow.2020.9.203},
    year = {2020},
    month = {oct},
    publisher = {Mathematical Sciences Publishers},
    volume = {9},
    number = {3},
    pages = {203--228},
    author = {Erich Grädel and Val Tannen},
    title = {Provenance analysis for logic and games},
    journal = {Moscow Journal of Combinatorics and Number Theory}
}

@article{GradelTannen:MJCNT:2020, doi = {10.2140/moscow.2020.9.203}, url = {https://doi.org/10.2140%2Fmoscow.2020.9.203}, year = {2020}, month = {oct}, publisher = {Mathematical Sciences Publishers}, volume = {9}, number = {3}, pages = {203--228}, author = {Erich Grädel and Val Tannen}, title = {Provenance analysis for logic and games}, journal = {Moscow Journal of Combinatorics and Number Theory} }