Detecting Unsatisfiable Pattern Queries under Shape Expression Schema.

Shiori Matsuoka, Nobutaka Suzuki

Browse the full WEBIST paper archive.