@inproceedings{FJV-ISWC25,
	author = {Funk, Maurice and Jung, Jean Christoph and Voellmer, Tom},
	title =  {{SAT}-based bounded fitting for the description logic {ALC}},
	booktitle = {Proceedings of the 24th International Sematic Web Conference (ISWC-25)},
	year = {2025}
}