Elements of Algorithmic Proof
D.M. Gabbay · 1992
Abstract Imagine an expert system running on a personal computer, say the Sinclair QL. You put the data Pinto the system and ask it queries Q. We represent the situation schematically as depending on the answer.