G. Reis, V. Nigam et al.: "Checking Proof Transformations with ASP"; Theory and Practice of Logic Programming, 13 (2013), 4-5; 1 - 12.