Robuta

https://research.uniupo.it/en/publications/an-abductive-proof-procedure-for-conditional-logic-programming-2/ An abductive proof procedure for conditional logic programming - University of Eastern Piedmont proof procedure conditional logic abductive programming university