The design & implementation of a backward chaining inference engine - K Mohanan (computer science,cusat, 1988)