1
by Fermüller, C., Leitsch, A., Tammet, Tanel, Zamov, Nail
Published 1993
Springer Berlin Heidelberg
...Lecture Notes in Artificial Intelligence...