Normal Forms for Defeasible Logic (1998)

by G Antoniou, D Billington, M J Maher
Venue:In Proc. Joint International Conference and Symposium on Logic Programming