1
Computability theory, semantics and logic programming.
Book
Other Personal Name(s): ...Fitting, M....