Assumption-based reasoning with finite set constraints (1998)

by R Haenni, N Lehmann
Venue:In IPMU’98, Proceedings of the seventh international conference