@Article{epata,

author = {R\u{a}zvan Diaconescu},

title = {An encoding of partial algebras as total algebras},

journal = {Information Processing Letters},

year = 2009,

volume = 109,

number = 23--24,

pages = {1245--1251}

}