García, A. J. Defeasible Logic Programming: Language Definition, Operational Semantics, and Parallelism. JCS&T 2001, 1, 3 p..