A comparison of Mizar and Isar
scientific article; zbMATH DE number 1901561