Zurab Khasidashvili Adolfo Piperno A syntactical analysis of normalization. 381-410 2000 10 J. Log. Comput. 3 db/journals/logcom/logcom10.html#KhasidashviliP00