Detecting Unsatisfiable Pattern Queries under Shape Expression Schema. - Shiori Matsuoka; Nobutaka Suzuki (WEBIST, 2020)