Efficient Loop Conditions for Bounded Model Checking Hyperproperties | Publicación