@Article{thielscher:ETAI98,
  author = 	"Michael Thielscher",
  title = 	"Introduction to the {F}luent {C}alculus",
  journal = 	"Electronic Transactions on Artificial Intelligence",
  year = 	1998,
  volume = 	"2",
  number = 	"3--4",
  pages = 	"179--192"
}