On the expressive power of unit resolution

Open in new window