Logical Difference and Module Extraction with CEX and MEX.
Boris Yur'evich Konev, Carsten Lutz, Dirk Walther, Frank Wolter · 2008
We present algorithms, experimental results, and an analysis of the computational complexity for the following two problems: – The module extraction problem: given a terminology T1 and a signature Σ, extract from T1 a minimal self-contained terminology T0 such that T1 and