@inproceedings{masta05,
    title = {Subgoal semantics in agent programming},
    author = {M. Birna van Riemsdijk and Mehdi Dastani and John-Jules {\text{Ch}} Meyer},
    booktitle = "Progress in Artifical Intelligence: 12th Portuguese Conference on Artificial Intelligence (EPIA'05)",
    editor = "Carlos Bento and Am{\'i}lcar Cardoso and Ga{\"e}l Dias",
    year = 2005,
    publisher = "Springer",
    series = "LNAI",
    volume = "3808",
    pages = "548--559"
}