Zebra: Extended Versions