The Use of Proof Plans to Sum Series.

Toby Walsh, Alex Nunes, Alan Bundy

Browse the full CADE paper archive.