Home
DCC eCatalog
R.__Manevich
Compactly representing first-order structures for static analysis
