1
by Gabbay, Dov M., Olivetti, N.
Published 2000
Springer Netherlands