Temporal Contextual Logic Programming - Nogueira, Vitor; Abreu, Salvador (2007)