+*xy*xz*x+yz++xyz+x+yz+*xy+*xzu+*x+yzu2.0+*xy*xz+yz++xyz+x+yz++xyz+yz+*xy+*xzu+*x+yzu+*xy+*xzu+yztrue++xyz+x+yz+*xy*xz+yz++xyz+yz+*xy+*xzu+yztrue11+211+211112*2112u00+*xy+*xzu+*x+yzufalse
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe