MineFOL: a Game for Learning First Order Logic | IEEE Conference Publication | IEEE Xplore