@misc{indiciae6fe2fee3fda0,
  title = {BDD-based reasoning in the fluent calculus - first results},
  author = {Steffen Hoelldobler and Hans-Peter Stoerr},
  year = {2000},
  url = {https://arxiv.org/abs/cs/0003047},
  note = {Source identifier: cs/0003047}
}