@inproceedings { 253,
	title = {B-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification.},
	journal = {8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)},
	year = {2007},
	month = {10/09/2007},
	address = {Porto, Portugal},
	author = {Bryl, V. and Montali, M. and Mello, P. and Torroni, P. and Zannone, N.}
}