Paul G. Lucassen Indra Polak Jan Tijmen Udding Normal Form in DI-Algebra with Recursion. 167-174 1997 conf/async/1997 ASYNC http://csdl.computer.org/comp/proceedings/async/1997/7922/00/79220167abs.htm db/conf/async/async1997.html#LucassenPU97