@inproceedings{aamas05,
    title = {Semantics of Declarative Goals in Agent Programming},
    author = {M. Birna van Riemsdijk and Mehdi Dastani and John-Jules {\text{Ch}} Meyer},
    booktitle = "Proceedings of the fourth international joint conference on autonomous agents and multiagent systems (AAMAS'05)",
    pages = "133--140",
    address = "Utrecht",
	publisher = "ACM",
    year = 2005
}