I know that one can use backward induction to find one particular subgame perfect NE. And I know that wherever possible one can represent the game in normalform and then find all NE.
But is there a systematic way of finding all extensive form specific subtypes of NE, like sequential or weak perfect Bayesian equilibria? What about the rest of the subgame perfect equilibria that can't be found by backward induction?
Do I always have to guess and proof that it really is the kind of equilibrium I think it is?