Sergio Mera, Nikolaj Bjørner. DKAL and Z3: A Logic Embedding Experiment. In Andreas Blass, Nachum Dershowitz, Wolfgang Reisig, editors, Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Volume 6300 of Lecture Notes in Computer Science, pages 504-528, Springer, 2010. [doi]
@inproceedings{MeraB10,
title = {DKAL and Z3: A Logic Embedding Experiment},
author = {Sergio Mera and Nikolaj Bjørner},
year = {2010},
doi = {10.1007/978-3-642-15025-8_25},
url = {http://dx.doi.org/10.1007/978-3-642-15025-8_25},
tags = {logic},
researchr = {https://researchr.org/publication/MeraB10},
cites = {0},
citedby = {0},
pages = {504-528},
booktitle = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday},
editor = {Andreas Blass and Nachum Dershowitz and Wolfgang Reisig},
volume = {6300},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-15024-1},
}