@article{3946,
  title = "Decidability of the Theory of the Totally Unbounded omega-Layered Structure",
  author = "Angelo Montanari and Gabriele Puppis",
  year = "2004",
  journal = "TIME'04: Proceedings of the 11th International Symposium on Temporal Representation and Reasoning",
}