Tim Hinrichs, Michael R. Genesereth. Extensional Reasoning. In Geoff Sutcliffe, Josef Urban, Stephan Schulz, editors, Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. Volume 257 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]
@inproceedings{HinrichsG07:0,
title = {Extensional Reasoning},
author = {Tim Hinrichs and Michael R. Genesereth},
year = {2007},
url = {http://ceur-ws.org/Vol-257/03_Hinrichs.pdf},
researchr = {https://researchr.org/publication/HinrichsG07%3A0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007},
editor = {Geoff Sutcliffe and Josef Urban and Stephan Schulz},
volume = {257},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}