An Environment for Exploring and Validating Declarative Knowledge

@techreport{pub6299,
    author = {

Abecker, Andreas
 and 

Boley, Harold
 and 

Hinkelmann, Knut
 and 

Wache, Holger
 and 

Schmalhofer, Franz
},
    title = {An Environment for Exploring and Validating Declarative Knowledge},
    series = {DFKI Technical Memos (TM)},
    year = {1995},
    volume = {95-03},
    pages = {11},
    institution = {DFKI}
}