On the Consistency of Circuit Lower Bounds for Non-deterministic Time | Publicación