Jean-Marc David, Jean-Paul Krivine: Explaining Reasoning from Knowledge Level Models. ECAI 1990: 186-188