Relative definability of boolean functions via hypergraphs (1997)

by A Bucciarelli, P Malacaria
Venue:In 12th International Workshop on Mathematical Foundations of Programming Semantics