@misc{indiciae9e09b08b378f,
  title = {Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking},
  author = {Martin Mariusz Lester},
  year = {2020},
  url = {https://arxiv.org/abs/2012.15365},
  note = {Source identifier: 2012.15365}
}