@article{Terui_2011,
    doi = {10.1016/j.tcs.2010.12.026},
    url = {https://doi.org/10.1016%2Fj.tcs.2010.12.026},
    year = {2011},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {412},
    number = {20},
    pages = {2048--2071},
    author = {Kazushige Terui},
    title = {Computational ludics},
    journal = {Theoretical Computer Science}
}

@article{Terui_2011, doi = {10.1016/j.tcs.2010.12.026}, url = {https://doi.org/10.1016%2Fj.tcs.2010.12.026}, year = {2011}, month = {apr}, publisher = {Elsevier {BV}}, volume = {412}, number = {20}, pages = {2048--2071}, author = {Kazushige Terui}, title = {Computational ludics}, journal = {Theoretical Computer Science} }