TY  - RPRT
TI  - BDD-based reasoning in the fluent calculus - first results
AU  - Steffen Hoelldobler
AU  - Hans-Peter Stoerr
PY  - 2000
UR  - https://arxiv.org/abs/cs/0003047
ID  - cs/0003047
ER  -