Quasi-boolean encodings and conditionals in algebraic specification (0)

by Răzvan Diaconescu
Venue:Journal of Logic and Algebraic Programming