A labelling approach for ideal and stage semantics
@en