Debugging BDI-Based Multi-Agent Programs. - Mehdi Dastani; Jaap Brandsema; Amco Dubel; John-Jules Ch. Meyer (PROMAS, 2009)