Harald Ganzinger, Christoph Meyer, Christoph Weidenbach
Soft Typing for Ordered Resolution
CADE, 1997.
@inproceedings{CADE-1997-GanzingerMW,
author = "Harald Ganzinger and Christoph Meyer and Christoph Weidenbach",
booktitle = "{Proceedings of the 14th International Conference on Automated Deduction}",
doi = "10.1007/3-540-63104-6_32",
isbn = "3-540-63104-6",
pages = "321--335",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Soft Typing for Ordered Resolution}",
volume = 1249,
year = 1997,
}
Tags: