ATP and presentation service for Mizar formalizations. (2013)

by J Urban, P Rudnicki, G Sutcliffe
Venue:J. Automated Reasoning,