HomeSearchLibrary
Intersection non-emptiness problem | OmniWiki