Now showing items 1-2 of 4

    Temporal deductive databases (1)
    Temporal logic programming (4)