@InProceedings{tojo-kaneiwa2003,
  author =        "S. Tojo and K. Kaneiwa",
  title =            "Toward a Proper Semantics for the Logic of Occurrence",
  booktitle =    "Proceedings of the Context '03 Workshop on Barwise and Situation Theory",
  year =           "2003"
}