A Formal Model for the Dynamics of Compositional Reasoning Systems. - Ioa Gavrila; Jan Treur (ECAI, 1994)