Efficient query processing with reduced implicate tries
scientific article; zbMATH DE number 5149286