APA (7th ed.) Citation

AGUADO, F., ASCARIZ, P., CABALAR, P., PÉREZ, G., & VIDAL, C. (2017). Verification for ASP denotational semantics: A case study using the PVS theorem prover. Logic Journal of the IGPL, 25(2), 195. https://doi.org/10.1093/jigpal/jzw060

Chicago Style (17th ed.) Citation

AGUADO, F., P. ASCARIZ, P. CABALAR, G. PÉREZ, and C. VIDAL. "Verification for ASP Denotational Semantics: A Case Study Using the PVS Theorem Prover." Logic Journal of the IGPL 25, no. 2 (2017): 195. https://doi.org/10.1093/jigpal/jzw060.

MLA (9th ed.) Citation

AGUADO, F., et al. "Verification for ASP Denotational Semantics: A Case Study Using the PVS Theorem Prover." Logic Journal of the IGPL, vol. 25, no. 2, 2017, p. 195, https://doi.org/10.1093/jigpal/jzw060.