Abstract Theorem Proving

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/GiunchigliaW89, title={Abstract Theorem Proving}, pages={372-377}, year={1989}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai89.html#GiunchigliaW89}, author={Fausto Giunchiglia and Toby Walsh} }\end{bibtex}