Software (theme 1)
Elsevier
Journal of Applied Logic
Computer Security

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