B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (2008)

by V Bryl, P Mello, M Montali, P Torroni, N Zannone
Venue:In: F. Sadri & K. Satoh (Eds.), Proceedings of the 8th international workshop on computational logic in multi-agent systems, Lecture Notes in Artificial Intelligence