Book

Meta-logics and logic programming

by Krzysztof R. Apt