@inproceedings{FJV-DL25,
	author = {Funk, Maurice and Jung, Jean Christoph and Voellmer, Tom},
	title =  {{SAT}-based bounded fitting for the description logic {ALC} (Extended Abstract)},
	booktitle = {Proceedings of the 38th International Workshop on
				Description Logics},
	year = {2025}
}