Hydra - Hybride Werkbank zur Konstruktion von deduktiven Problemlösern in wissensbasierten Systemen: Berechnung und Deduktion mit Constraints

@techreport{pub6435,
    author = {

Smolka, Gert
 and 

Henz, Martin
 and 

Mehl, Michael
 and 

Scheidhauer, Ralf
 and 

Schulte, Christian
 and 

Treinen, Ralf
 and 

Würtz, Jörg
},
    title = {Hydra - Hybride Werkbank zur Konstruktion von deduktiven Problemlösern in wissensbasierten Systemen: Berechnung und Deduktion mit Constraints},
    series = {DFKI Final Reports (FR)},
    year = {1997},
    volume = {97-02},
    pages = {156},
    institution = {DFKI GmbH}
}