Theory and Practice of Logic Programming

Ask a librarian