%0 Journal Article %1 journals/igpl/RiisS00 %A Riis, Søren %A Sitharam, Meera %D 2000 %J Logic Journal of the IGPL %K dblp %N 6 %P 787-795 %T Generating hard tautologies using predicate logic and the symmetric group. %U http://dblp.uni-trier.de/db/journals/igpl/igpl8.html#RiisS00 %V 8

@article{journals/igpl/RiisS00, added-at = {2011-06-29T00:00:00.000+0200}, author = {Riis, Søren and Sitharam, Meera}, biburl = {https://www.bibsonomy.org/bibtex/213783094475b7de24447fd6bf8949730/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/8.6.787}, interhash = {f06d53bf2b33d9dafcf9de891d79a5a7}, intrahash = {13783094475b7de24447fd6bf8949730}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 6, pages = {787-795}, timestamp = {2011-06-30T11:38:28.000+0200}, title = {Generating hard tautologies using predicate logic and the symmetric group.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl8.html#RiisS00}, volume = 8, year = 2000 }