The Resolution proof system