Elsevier
Journal of Applied Logic
Computer Security

de Boer, F., Hindriks, K. V., van der Hoek, W., & Meyer, J.-J. (2007). A verification framework for agent programming with declarative goals. Journal of Applied Logic, 5(2), 277–302.