A Formal Definition of Temporal Default Relations - Gerhard Schaden (Proceedings of ConSOLE XV, 2008)
Keywords: C-ACTI