Logical Foundations for Rule-Based Systems - Ligeza, Antoni; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006)
Keywords: Expert systems (Computer science); Rule-based programming; Automatic control