@InProceedings{thielscher:FROCOS09a,
  author =	"Conrad Drescher and Stephan Schiffel and Michael Thielscher",
  title =	"A Declarative Agent Programming Language Based On
		Action Theories",
  year =	2009,
  booktitle =	"Proceedings of the International Conference on Frontiers
		of Combining Systems (FroCoS)",
  editor =	"S.\ Ghilardi and R.\ Sebastiani",
  pages =	"230--245",
  volume =	"5749",
  series =	"LNCS",
  publisher =	"Springer",
  address =	"Trento, Italy"
}