Intractability of read-once resolution | IEEE Conference Publication | IEEE Xplore