Alex Borgida
Department of Computer Science, Rutgers University, New Brunswick, NJ 08903, USA. borgida@cs.rutgers.edu (http://www.cs.rutgers.edu/~borgida)
Foundations of a functional approach to knowledge representation.
Artificial Intelligence