Extracting Case-based Answers from Closed Proof-trees.

Isabel Gomes Barbosa, Newton Jos Vieira

Browse the full ICAART paper archive.