BibTex format
@article{Craven:2008:10.1016/j.jal.2007.06.007,
author = {Craven, R and Sergot, MJ},
doi = {10.1016/j.jal.2007.06.007},
journal = {Journal of Applied Logic},
pages = {172--191},
title = {Agent strands in the action language nC+.},
url = {http://dx.doi.org/10.1016/j.jal.2007.06.007},
volume = {6},
year = {2008}
}