The SCIFF abductive proof-procedure