@inproceedings{DBLP:conf/stacs/KellMPTW89,
author = {V. Kell and
Albert Maier and
Andreas Potthoff and
Wolfgang Thomas and
U. Wermuth},
title = {AMORE: A System for Computing Automata, MOnoidsm and Regular
Expressions},
booktitle = {STACS},
year = {1989},
pages = {537-538},
ee = {http://dx.doi.org/10.1007/BFb0029017},
crossref = {DBLP:conf/stacs/1989},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/stacs/1989,
editor = {Burkhard Monien and
Robert Cori},
title = {STACS 89, 6th Annual Symposium on Theoretical Aspects of
Computer Science, Paderborn, FRG, February 16-18, 1989,
Proceedings},
booktitle = {STACS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {349},
year = {1989},
isbn = {3-540-50840-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}