Stratified default theories (1995)

by P Cholewiński
Venue:In Proceedings of CSL’94