On tests for hypothetical reasoning (1992)

by S McIlraith, R Reiter
Venue:In Readings in Model-Based Diagnosis