APA (7th ed.) Citation

Funk, M., Jung, J. C., & Voellmer, T. (2025). SAT-Based Bounded Fitting for the Description Logic ALC.

Chicago Style (17th ed.) Citation

Funk, Maurice, Jean Christoph Jung, and Tom Voellmer. SAT-Based Bounded Fitting for the Description Logic ALC. 2025.

MLA (9th ed.) Citation

Funk, Maurice, et al. SAT-Based Bounded Fitting for the Description Logic ALC. 2025.