Title: Implementation of a theorem-prover based on semantic tableaux