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