Mehmet A. Orgun, "Temporal and Modal Logic Programming: An Annotated Bibliography", SIGART Bulletin 5(3):52-59, July 1994.
Go To Previous
Go To Next