Recursive Boolean Functions in HOL (1991)

by F Andersen, K D Petersen
Venue:In 1991 International Tutorial and Workshop on the HOL Theorem Proving System and its Applications