Cita APA (7a ed.)

Galeotti, J., Rosner, N., Lopez Pombo, C., & Frias, M. TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds.

Cita Chicago Style (17a ed.)

Galeotti, J.P, N. Rosner, C.G Lopez Pombo, y M.F Frias. TACO: Efficient SAT-based Bounded Verification Using Symmetry Breaking and Tight Bounds.

Cita MLA (8a ed.)

Galeotti, J.P, et al. TACO: Efficient SAT-based Bounded Verification Using Symmetry Breaking and Tight Bounds.