Order independent and persistent typed default unification Alex LascaridesTed BriscoeAnn Copestake OriginalPaper Pages: 1 - 90