State transition specifications of abstract machines. - Stephen Murrell (1988)

Formal semantics for rule-based systems. - Stephen Murrell; Robert Plant (J. Syst. Softw., 1995)

Graph reduction implementation of a production system. - Stephen Murrell; Robert Plant (Knowl. Based Syst., 1995)

Decision Tables: Formalisation, Validation and Verification. - Stephen Murrell; Robert Plant (Softw. Test. Verification Reliab., 1995)

On the validation and verification of production systems: a graph reduction approach. - Stephen Murrell; Robert Plant (Int. J. Hum. Comput. Stud., 1996)

A survey of tools for the validation and verification of knowledge-based systems: 1985-1995. - Stephen Murrell; Robert T. Plant (Decis. Support Syst., 1997)

A natural language help system shell through functional programming. - Robert Plant; Stephen Murrell (Knowl. Based Syst., 2005)