DESKMatcher. - Michael Monych; Jan Portisch; Michael Hladik; Heiko Paulheim (OM@ISWC, 2020)