@incollection{LevesqueMypoulos79,
  author	= {Levesque, H. and Mypoulos, J.},
  editor	= {Findler, N. V.},
  year		= {1979},
  title		= {A procedural semantics for semantic networks},
  year		= {1979},
  booktitle	= {Associative Networks:Representation and use of knowledge by computers},
  publisher	= {Academic Press},
  address	= {New York}
}