Knowledge and Information Systems, 5, 337-367. Springer London Cornelissen, F J, Jonker, C M & Treur, J 2003, ' Compositional Verification of Knowledge-Based Task Models and Problem Solving Methods ', Knowledge and Information Systems, vol. 5, pp. 337-367 . https://doi.org/10.1007/s10115-002-0083-4