Selected publications at LSV

@article{DKP-jar2017,
   author = {Demri, St{\'e}phane and Kapur, Deepak and Weidenbach, Christoph},
   editor = {Demri, St{\'e}phane and Kapur, Deepak and Weidenbach, Christoph},
   journal = {Journal of Automated Reasoning},
   number = {1},
   publisher = {Springer},
   title = {Special Issue of Selected Extended Papers of IJCAR 2014},
   url = {http://link.springer.com/journal/10817/58/1/page/1},
   volume = {58},
   year = {2017},
}

About LSV

Select by Year