A labelling approach for ideal and stage semantics

A labelling approach for ideal and stage semantics