Allowing fpor Contructor Terms and Equations in Terminological Reasoning (Abstract)

@inproceedings{pub2522,
    author = {

Baader, Franz
 and 

Bürckert, Hans-Jürgen
},
    editor = {

Domenjoud, Eric
 and 

Kirchner, Claude
},
    title = {Allowing fpor Contructor Terms and Equations in Terminological Reasoning (Abstract)},
    booktitle = {Proceedings of 1st CCL Workshop. Computational Chemistry List Workshop (CCL), 1st, Nancy, France},
    series = {Interner Bericht},
    year = {1993},
    volume = {93-R-023},
    address = {CRIN Nancy Frankreich},
    organization = {CRIN},
    publisher = {CRIN}
}