Rossella Rubino Antonino Rotolo A Java Implementation of Temporal Defeasible Logic. 297-304 2009 RuleML https://doi.org/10.1007/978-3-642-04985-9_27 conf/ruleml/2009 db/conf/ruleml/ruleml2009.html#RubinoR09