Book

Meta-Logics and Logic Programming

by Krzysztof Apt, Franco Turini