INPUT: List of products .
OUTPUT: List of candidates.
REPEAT
Compose common to every pair of
    products from .
If the result is not empty, add it to .
UNTIL
Algorithm 1: Constructing the list of candidates.