Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
The ICS Decision Procedures for Embedded Deduction
IJCAR, 2004.
@inproceedings{IJCAR-2004-MouraORRS,
author = "Leonardo Mendonça de Moura and Sam Owre and Harald Rueß and John M. Rushby and Natarajan Shankar",
booktitle = "{Proceedings of the Second International Joint Conference on Automated Reasoning}",
doi = "10.1007/978-3-540-25984-8_14",
isbn = "3-540-22345-2",
pages = "218--222",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{The ICS Decision Procedures for Embedded Deduction}",
volume = 3097,
year = 2004,
}
Tags: