Not yet published articles:

Vaston Gonçalves Costa and Lew Gordeev and Edward Hermann Haeusler. Proof compressions with circuit-structured substitutions . Notes of Mathematical Seminars of St.Petersburg Department of V.A.Steklov Institute of Mathematics., 2008 . Special Issue dedicated to the Festschriftt of Yuri Matiyasevich, to appear.

Alexandre Rademaker and Edward Hermann Haeusler. Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach.. Brazilian Symposium on Artificial Intelligence 2008 , To appear in LNAI, Springer-Verlag.