Symmetric Temporal Theorem Proving. - Amir Niknafs-Kermani; Boris Konev; Michael Fisher 001 (TIME, 2012)