An encoding of partial algebras as total algebras (2009)

by R Diaconescu
Venue:Information Processing Letters