Roman Manevich G. Ramalingam John Field Deepak Goyal Shmuel Sagiv Compactly Representing First-Order Structures for Static Analysis. 196-212 2002 conf/sas/2002 SAS http://link.springer.de/link/service/series/0558/bibs/2477/24770196.htm db/conf/sas/sas2002.html#ManevichRFGS02