@inproceedings{FCJELIA08,
  title = "A Fluent Calculus Semantics for ADL with Plan Constraints",
  author = "Conrad Drescher and Michael Thielscher",
  year = "2008",
  address = "Dresden, Germany",
  booktitle = "Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008)",
}