RichTransform
filter
RichTransform
rewriteFilterInCNF
filter
rewriteFilterInDNF
filter