APA (7th ed.) Citation

Medina-Martinez, D., Barcenas, E., Aldeco-Perez, R., Molero-Castillo, G., & Velazquez-Mena, A. (2023). A satisfiability algorithm for multimodal logic with converse. 2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT), Software Engineering Research and Innovation (CONISOFT), 2023 11th International Conference in, CONISOFT, 246. https://doi.org/10.1109/CONISOFT58849.2023.00039

Chicago Style (17th ed.) Citation

Medina-Martinez, Diego, Everardo Barcenas, Rocio Aldeco-Perez, Guillermo Molero-Castillo, and Alejandro Velazquez-Mena. "A Satisfiability Algorithm for Multimodal Logic with Converse." 2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT), Software Engineering Research and Innovation (CONISOFT), 2023 11th International Conference in, CONISOFT 2023: 246. https://doi.org/10.1109/CONISOFT58849.2023.00039.

MLA (9th ed.) Citation

Medina-Martinez, Diego, et al. "A Satisfiability Algorithm for Multimodal Logic with Converse." 2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT), Software Engineering Research and Innovation (CONISOFT), 2023 11th International Conference in, CONISOFT, 2023, p. 246, https://doi.org/10.1109/CONISOFT58849.2023.00039.