[1] Data Base Interface

[2] Decomposition Based Induction (KI)

[3] (Forschungseinrichtung) DFN-Kürzelfür Deutsches Bibliotheksinstitut (Mitglied im DFN)