Temporal reasoning in the situation calculus.
Published: 1994
Language: eng
Number of pages: 158