Michael Kifer Books by the Author Previous slide in carousel Declarative Logic Programming Next slide in carousel