1. Modeling in Event-B: System and software engineering;Abrial,2010
2. Normal forms for defeasible logic;Antoniou,1998
3. Defeasible logic versus logic programming without negation as failure;Antoniou;Journal of Logic Programming,2000
4. Hybrid logics;Areces,2007
5. Model repair for probabilistic systems;Bartocci,2011