An Algorithm for Resolution of Common Logic (Edition 2) Importation Implemented in OntoMaven.

Tara Athan, Ralph Schfermeier, Adrian Paschke

Browse the full FOIS paper archive.