@InProceedings{islip1992_063,
   author      = {David Israel},
   title       = {{Lucid and Intensional Logic}},
   editor      = {R. Jagannathan},
   booktitle   = {{Proceedings of the 5th International Symposium on Lucid and Intensional Programming}},
   year        = {1992},
   pages       = {63--80},
   publisher   = {SRI International},
   address     = {Menlo Park, California},
   doi         = {\url{http://plaice.web.cse.unsw.edu.au/archive/islip/1992/islip1992_063.pdf}},
   note        = {Held {20--23 April 1992},  {IEEE International Conference on Computer Languages}},
}