@InProceedings{SKG:FLAIRS-97,
  author = 	 {S. Schulz and A. K{\"u}chler and C. Goller},
  title = 	 {{Some Experiments on the Applicability of Folding
                  Architecture Networks to Guide Theorem Proving}},
  booktitle = 	 {Proc.\ of the 10th FLAIRS Conference, Daytona Beach},
  editor =	 {D.D. Dankel II},
  year =	 {1997},
  publisher =	 {Florida AI Research Society},
  pages =	 {377--381},
  note =	 {},
}