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.org/rec/conf/rta/BjornerM00.xml
Nikolaj S. Bjørner César A. Muñoz Absolute Explicit Unification. 31-46 2000 conf/rta/2000 RTA db/conf/rta/rta2000.html#BjornerM00 https://doi.org/10.1007/10721975_3