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]
Abstract is missing.