Q
uantifier_
E
limination_
H
ybrid.
M
ultiv_
P
oly_
P
rops
HTML Presentation