Principles of proof scores in CafeOBJ
scientific article; zbMATH DE number 6122468
scientific article