Email Record: Logical and Computational Aspects of Model-Based Reasoning /