@InProceedings{Schulz:FLAIRS-2002,
  author =       {S. Schulz},
  title =        {{A Comparison of Different Techniques for Grounding
                  Near-Propositional CNF Formulae}}, 
  booktitle =    {Proc.\ of the 15th FLAIRS, Pensacola},
  editor =       {S. Haller and G. Simmons},
  year =         {2002},
  publisher =    {AAAI Press},
  pages =        {72--76},
  annote =       {StS},
}