@INPROCEEDINGS{AlassafSchmidtSattler22,
AUTHOR = {R. Alassaf and R. A. Schmidt and U. Sattler},	
YEAR = {2022},
TITLE = {Saturation-Based Uniform Interpolation for Multi-Agent Modal Logics},
EDITOR = {D. Fern\'andez-Duque and A. Palmigiano and S. Pinchinat},
BOOKTITLE = {Advances in Modal Logic, Volume 14},
PUBLISHER = {College Publications},
ADDRESS = {London},
PAGES = {37--58},
ISBN = {978-1-84890-413-2},
URL = {http://www.aiml.net/volumes/volume14},
}