Building Proofs in Context.

Giuseppe Attardi, Maria Simi

Browse the full LOPSTR paper archive.