Charalambidis, A., Ésik, Z., & Rondogiannis, P. (2014, May 15). Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. arXiv.org. https://doi.org/10.48550/arxiv.1405.3792
Chicago Style (17th ed.) CitationCharalambidis, Angelos, Zoltán Ésik, and Panos Rondogiannis. "Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation." ArXiv.org 15 May. 2014. https://doi.org/10.48550/arxiv.1405.3792.
MLA (9th ed.) CitationCharalambidis, Angelos, et al. "Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation." ArXiv.org, 15 May. 2014, https://doi.org/10.48550/arxiv.1405.3792.
Warning: These citations may not always be 100% accurate.