Proof Search in Hajek's Basic Logic