A customized logic paradigm for reasoning about models, in (1996)

by R Stolle, E Bradley
Venue:Farquhar (Eds.), Proc. 10th International Workshop on Qualitative Reasoning (QR-96), Stanford Sierra Camp, CA, AAAI