Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.