18. TPHOLs 2005: Oxford, UK

Invited Papers

Regular Papers

Proof Pearls