Vol-1247⫷ Vol-1248 ⫸Vol-1249
urn:nbn:de:0074-1248-0


Vol-1248/paper3⫷Vol-1248/paper4⫸Vol-1248/paper5
Adrian PaschkeRalph SchäfermeierTara Athan

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