Hard examples for bounded depth frege | IEEE Conference Publication | IEEE Xplore