Myla Archer

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