Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems (1996)

EDITORS:

Niemelä, Ilkka