WHEN DID THE SUBMARINE SINK

1. When did the submarine sink? August 12

Harabagiu et al. 2004) uses a logic prover to se-