TY  - RPRT
TI  - Interpreting Abstract Interpretations in Membership Equational Logic
AU  - Fischer, Bernd
AU  - Rosu, Grigore
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20030107251
ID  - 20030107251
ER  -