@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}
}