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