Cita APA

Gaintzarain Ibarmia, J., Hermo Huguet, M., Lucio Carrasco, F., Navarro, M., & Orejas, F. (2011). Invariant-Free Clausal Temporal Resolution.

Citación estilo Chicago

Gaintzarain Ibarmia, José, Montserrat Hermo Huguet, Francisca Lucio Carrasco, Marisa Navarro, y Fernando Orejas. Invariant-Free Clausal Temporal Resolution. 2011.

Cita MLA

Gaintzarain Ibarmia, José, et al. Invariant-Free Clausal Temporal Resolution. 2011.