Full and hat inductive definitions are equivalent in NBG. - Sato, Kentaro (Arch. Math. Log., 2015)