One More Logic with Uncertainty and Resolution Principle for it.

Konstantin Vershinin, Igor Romanenko

Browse the full CADE paper archive.