Didier Galmiche, Stéphane Graham-Lengrand. Special Issue on Computational Logic in Honour of Roy Dyckhoff. Journal of Logic and Computation, 26(2):463-465, 2016. [doi]
@article{GalmicheG16, title = {Special Issue on Computational Logic in Honour of Roy Dyckhoff}, author = {Didier Galmiche and Stéphane Graham-Lengrand}, year = {2016}, doi = {10.1093/logcom/exu039}, url = {http://dx.doi.org/10.1093/logcom/exu039}, researchr = {https://researchr.org/publication/GalmicheG16}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {26}, number = {2}, pages = {463-465}, }