DBLP:conf/ijcai/RamachandranA05

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/RamachandranA05, title={Compact Propositional Encodings of First-Order Theories}, pages={1579-1580}, year={2005}, crossref={DBLP:conf/ijcai/2005}, booktitle={IJCAI}, ee={http://www.ijcai.org/papers/post-0452.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2005.html#RamachandranA05}, author={Deepak Ramachandran and Eyal Amir} }\end{bibtex}