@book{0066727,
  title = {Executing temporal logic programs},
  author = {Ben C. Moszkowski},
  year = {1986},
  tags = {C++, logic programming, logic},
  researchr = {https://researchr.org/publication/0066727},
  cites = {0},
  citedby = {0},
  publisher = {Cambridge University Press},
  isbn = {978-0-521-31099-4},
}