Daniel LEIVANT

E-mail: lastname at indiana period edu

Homepage: https://legacy-cs.sice.indiana.edu/~leivant/