Leonardo de Moura, Sam Owre, Harald Ruess, John Rushby, and N. Shankar

Tool description presented at IJCAR 2004. Appears in Springer Verlag LNCS 3097, pp. 218-222. Copyright Springer Verlag LNCS

gzipped postscript, or plain postscript or PDF or crude ascii (for your Palm Pilot)

BibTeX Entry

@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
}