## Recursive Boolean Functions in HOL (1991)

by
Flemming Andersen
,
Kim Dam Petersen

Venue: | In 1991 International Tutorial and Workshop on the HOL Theorem Proving System and its Applications |

Citations: | 1 - 1 self |