On a Semantic Subsumption Test. - Jerzy Marcinkowski; Jan Otop; Grzegorz Stelmaszek (LPAR, 2004)