G. Reis: "Checking Proof Transformations with ASP"; Talk: ICLP 2013, Istanbul; 2013-08-24 - 2013-08-29.