Cita APA

Atserias, A., & Muller, M. M. (2020). Automating resolution is NP-Hard.

Citación estilo Chicago

Atserias, Albert|||0000-0002-3732-1989, y Moritz Martin Muller. Automating Resolution Is NP-Hard. 2020.

Cita MLA

Atserias, Albert|||0000-0002-3732-1989, y Moritz Martin Muller. Automating Resolution Is NP-Hard. 2020.

Precaución: Estas citas no son 100% exactas.