BV formalism and string theory - Viana, Eggon (2022)