APA (7th ed.) Citation

Perkov, T., & Mikec, L. (2021). Tableau-based translation from first-order logic to modal logic. Reports on mathematical logic, 56(56), 57-74. https://doi.org/10.4467/20842589RM.21.003.14375

Chicago Style (17th ed.) Citation

Perkov, Tin, and Luka Mikec. "Tableau-based Translation from First-order Logic to Modal Logic." Reports on Mathematical Logic 56, no. 56 (2021): 57-74. https://doi.org/10.4467/20842589RM.21.003.14375.

MLA (9th ed.) Citation

Perkov, Tin, and Luka Mikec. "Tableau-based Translation from First-order Logic to Modal Logic." Reports on Mathematical Logic, vol. 56, no. 56, 2021, pp. 57-74, https://doi.org/10.4467/20842589RM.21.003.14375.