Journal of automated reasoning (Springer Science + Business Media B.V., 1985)
Gesehen am 01.11.05