Cite
MLA Citation
M (Mauricio) Ayala-Rincón and Flávio L. C. de Moura. Applied logic for computer scientists : computational deduction and formal proofs. Cham, Switzerland : Springer, 2017. http://access.bl.uk/ark:/81055/vdc_100069644236.0x000001