Reasoning with maximal consistent signatures

Open in new window