Title: Proof and Computation
Subjects: Logic programming, Logic, symbolic and mathematical