resolution principle
resolution principle; inference rule
corrected link
more than one resolvent