The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus.

Steffen Hlldobler, Dietrich Kuske

Browse the full LPAR paper archive.