First-Order Interpolation and Grey Areas of Proofs (Invited Talk).

Laura Kovcs

Browse the full CSL paper archive.