The use of domain information and higher order logic for model management /
Uschold, Michael.
University of Edinburgh.Artificial Intelligence Applications Institute.
Edinburgh : Artificial Intelligence Applications Institute, University of Edinburgh,
1992.
Includes bibliography.
Model theory.
Logic programming.