Műegyetemi Digitális Archívum

Prolog Execution Engines for Description Logic Reasoners