Universal Horn Sentences and the Joint Embedding Property

Manuel Bodirsky, Jakub Rydval, André Schrottenloher. Universal Horn Sentences and the Joint Embedding Property. Discrete Mathematics & Theoretical Computer Science, 23(2), 2021. [doi]

Abstract

Abstract is missing.