BDD-based reasoning in the fluent calculus - first results
  The paper reports on first preliminary results and insights gained in a project aiming at implementing the fluent calculus using methods and techniques based on binary decision diagrams. After reporting on an initial experiment showing promising results we discuss our findings concerning various techniques and heuristics used to speed up the reasoning process. 
Steffen Hoelldobler and Hans-Peter Stoerr