MoL-2002-05: Bernadette Martínez Hernández Automated Reasoning with Boolean ABoxes 1.Abstract, 2.Full Text (PDF), 3.Full Text (PS). < Back