@InProceedings{Grue05,
  author       = {K. Grue},
  year         = {2005},
  title        = {The implementation of {L}ogiweb},
  booktitle    = {Empirically Successful Classical Automated Reasoning
                  (ESCAR)},
  editor       = {Bernd Fischer and Stepahn Schulz and Geoff Sutcliffe}
}