Subsumer: a Prolog \(\theta\)-subsumption engine
scientific article; zbMATH DE number 6033343