Maura Cerioli A Lazy Approach to Partial Algebras. 188-202 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#Cerioli94