Mehdi Dastani, Leendert W. N. van der Torre: An Extension of BDI<sub>CTL</sub> with Functional Dependencies and Components. LPAR 2002: 115-129