@inproceedings{RTA-1997-KuhlerW,
author = "Ulrich Kühler and Claus-Peter Wirth",
booktitle = "{Proceedings of the Eighth International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/3-540-62950-5_60",
editor = "Hubert Comon",
isbn = "3-540-62950-5",
pages = "38--52",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving}",
volume = 1232,
year = 1997,
}

### Tags: