Logical Aspects of Model-Based Reasoning. A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems, N. Swoboda,...