Specification of Nonmonotonic Reasoning (2000)

by J Engelfriet, J Treur
Venue:Journal of Applied Non-Classical Logics