@InProceedings{Grue04,
  author       = {K. Grue},
  year         = {2004},
  title        = {Logiweb},
  booktitle    = {Mathematical Knowledge Management Symposium 2003},
  editor       = {Fairouz Kamareddine},
  publisher    = {Elsevier},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {93},
  pages        = {70--101},
  month        = feb
}