| Title | FO Rewritability for OMQ Using Beth Definability and Interpolation |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Toman, D., and G. Weddell |
| Conference Name | International Workshop on Description Logics (DL) |
| URL | http://ceur-ws.org/Vol-2954/paper-29.pdf |
