James Geller: Order Dependence of Declarative Knowledge Representation. SNePS 1989: 41-54