@inproceedings{mei2020datalog,
  author =      {Hongyuan Mei and Guanghui Qin and Minjie Xu and Jason Eisner},
  title =       {Neural {D}atalog Through Time: {I}nformed Temporal Modeling via Logical Specification},
  booktitle =   {Proceedings of the International Conference on Machine Learning},
  year =        {2020},
  month =       jul,
  address =     {Vienna, Austria}
}