A short guide to the AMoRE system (1990)

by V Jansen, A Potthoff, W Thomas, U Wermuth
Venue:Aachener informatik-berichte (90) 02, Lehrstuhl fur Informatik II, Universitat Aachen