Meta-logics and logic programming /
Apt, Krzysztof R.
Turini, Franco.
Cambridge, Mass. ; London : MIT Press,
c1995.