Jürgen Giesl, Deepak Kapur. Preface. Journal of Automated Reasoning, 34(2):103-104, 2005. [doi]
@article{GieslK05, title = {Preface}, author = {Jürgen Giesl and Deepak Kapur}, year = {2005}, doi = {10.1007/s10817-006-7237-0}, url = {http://dx.doi.org/10.1007/s10817-006-7237-0}, researchr = {https://researchr.org/publication/GieslK05}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {34}, number = {2}, pages = {103-104}, }