Dealing with Multiple Granularity of Time in Temporal Logic Programming

Chuchang Liu, Mehmet A. Orgun. Dealing with Multiple Granularity of Time in Temporal Logic Programming. Journal of Symbolic Computation, 22(5/6):699-720, 1996.

@article{LiuO96,
  title = {Dealing with Multiple Granularity of Time in Temporal Logic Programming},
  author = {Chuchang Liu and Mehmet A. Orgun},
  year = {1996},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/LiuO96},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {22},
  number = {5/6},
  pages = {699-720},
}