A Logical Approach to Criminal Case Investigation