Book

Reasoning with Rules

by Jaap Hage