Proofs About Lists Using Ellipsis.

Alan Bundy, Julian Richardson

Browse the full LPAR paper archive.