@MISC{ICS2,
AUTHOR = {Leonardo de Moura and Sam Owre and Harald Ruess and John Rushby
and N. Shankar},
TITLE = {The {ICS} Decision Procedures for Embedded Deduction},
ADDRESS = {Cork, Ireland},
BOOKTITLE = {2nd International Joint Conference on Automated Reasoning ({IJCAR})},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 3097,
PAGES = {218--222},
MONTH = jul,
YEAR = 2004
}