From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming.
Christoph BeierleSteven KutschGabriele Kern-IsbernerPublished in: Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)