Robert M. Colomb: Representation of Propositional Expert Systems as Partial Functions. Artif. Intell. 109(1-2): 187-209 (1999)