A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios.

Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen

Browse the full GPCE paper archive.