The Markgraf Karl Refutation Procedure (MKRP)