Nyew, H. M.; Onder, N.; Onder, S.; Wang, Z. A First-Order Logic Based Framework for Verifying Simulations. AAAI 2013, 27, 1635-1636.