@inProceedings{luther:01a,
   crossref = {IJCAR:01},
   author =   {Luther, Marko},
   title =    {More On Implicit Syntax},
   year =     2001,
   pages =    {386--400},
   url =      {ftp://ftp.informatik.uni-ulm.de/pub/KI/papers/ijcar01.pdf},
}

@proceedings{IJCAR:01,
   editors =   {Gor{\'{e}}, R. and Leitsch, A. and Nipkow, T.},
   title =     {Automated Reasoning. First International Joint Conference 
                ({IJCAR}'01), Siena, Italy, June 18--23, 2001, Proceedings},
   booktitle = {Automated Reasoning. First International Joint Conference 
                ({IJCAR}'01), Siena, Italy, June 18--23, 2001, Proceedings},
   series =    {Lecture Notes in Artificial Intelligence},
   publisher = {Springer-Verlag},
   volume =    2083,
   address =   {Berlin},
   year =      2001,
}