Ben Di Vito

• Design and application of strategies/tactics in higher order logics