Computer Assisted Reasoning with MIZAR. - Andrzej Trybulec; Howard A. Blair (IJCAI, 1985)

Computer Aider Reasoning. - Andrzej Trybulec; Howard A. Blair (Logic of Programs, 1985)

On Equivalents of Well-Foundedness. - Piotr Rudnicki; Andrzej Trybulec (J. Autom. Reason., 1999)

Commutative Algebra in the Mizar System. - Piotr Rudnicki; Christoph Schwarzweller; Andrzej Trybulec (J. Symb. Comput., 2001)

On the Integrity of a Repository of Formalized Mathematics. - Piotr Rudnicki; Andrzej Trybulec (MKM, 2003)

Mizar. - Andrzej Trybulec (The Seventeen Provers of the World, 2006)

Formal Mathematics for Mathematicians - Foreward to the Special Issue. - Andrzej Trybulec; Artur Kornilowicz; Adam Naumowicz; Krystyna Trybulec Kuperberg (J. Autom. Reason., 2013)