Reasoning with stratified default theories (1995)

by P Cholewiński
Venue:In Proceedings of LPNMR’95