@InProceedings{islip1989_f,
   author      = {W. H. Mitchell and A. A. Faustini},
   title       = {{The Intensional Logic Language InTense}},
   editor      = {A. A. Faustini},
   booktitle   = {{Proceedings of the 2nd International Symposium on Lucid and Intensional Programming}},
   year        = {1989},
   publisher   = {Arizona State University},
   address     = {Tempe, Arizona},
   doi         = {\url{http://plaice.web.cse.unsw.edu.au/archive/islip/1989/islip1989_f.pdf}},
   note        = {Held {8 May 1989}},
}