Computer Assisted Reasoning with MIZAR.

Andrzej Trybulec, Howard A. Blair

Browse the full IJCAI paper archive.