Default Reasoning System DeReS (1996)

by P Cholewinski, W Marek, M Truszczynski
Venue:In International Conference on Principles of Knowledge Representation and Reasoning, 518–528