@techreport{PulmanTR1987,
  title = "{The SRI Core Language Engine project}: the grammar",
  author = "Stephen Pulman and G. D. Ritchie",
  year = "1987",
  institution = "{Centre for Cognitive Science, Edinburgh, and Institute for Language, Logic and Information, Amsterdam}",
  note = "in E. Klein and J. van Benthem (eds.) {\it Categories, Polymorphism and Unification}",
  pages = "307--322",
}