iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/rec/conf/fm/GhaziT11.xml
Aboubakr Achraf El Ghazi Mana Taghdiri Relational Reasoning via SMT Solving. 133-148 2011 FM https://doi.org/10.1007/978-3-642-21437-0_12 conf/fm/2011 db/conf/fm/fm2011.html#GhaziT11