@Article{thielscher:ETAI97,
  author = 	"Michael Thielscher",
  title = 	"A Theory of Dynamic Diagnosis",
  journal = 	"Electronic Transactions on Artificial Intelligence",
  year = 	1997,
  volume = 	"1",
  number = 	"4",
  pages = 	"73--104"
}