Maria Fox Derek Long Utilizing Automatically Inferred Invariants in Graph Construction and Search. 102-111 2000 AIPS db/conf/aips/aips2000.html#FoxL00