Book

Reasoning with rules

by J. C. Hage