Nyew, H. M., N. Onder, S. Onder, and Z. Wang. “A First-Order Logic Based Framework for Verifying Simulations”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 1635-6, doi:10.1609/aaai.v27i1.8540.