A Logic for Truth Maintenance Reasoning.

Ivan Popchev, Neli Zlatareva, Marion Mircheva

Browse the full AIMSA paper archive.