TY - RPRT TI - Universal Horn Sentences and the Joint Embedding Property AU - Manuel Bodirsky AU - Jakub Rydval AU - André Schrottenloher PY - 2022 DO - 10.46298/dmtcs.7435 UR - https://arxiv.org/abs/2104.11123 ID - 2104.11123 ER -