@article{Kup22, 
     author    = {O. Kupferman},
     title     = {Using the past for resolving the future},
     journal   = {Frontiers in Computer Science},
     volume    = {4},
     year      = {2022},
  }